Title: Formal Modeling and Analysis of Timed Systems
Subjects: Mathematical Logic and Formal Languages, Programming Techniques, Software engineering, Algorithm Analysis and Problem Complexity, Logic design, Logics and Meanings of Programs, Computer science, Programming Languages, Compilers, Interpreters, Computer software, Computer simulation, Congresses, Temporal automata, Formal methods (Computer science), System analysis