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