Title: Formal modeling and analysis of timed systems
Subjects: Formal methods (Computer science), Computer simulation, Congresses, Temporal automata, Logic design, Computer science, Software engineering, Computer software