Title: Formal modeling and analysis of timed systems
Subjects: Automates temporels, Méthodes formelles (Informatique), Temporal automata, Congrès, Automates mathématiques, Théorie des, Computer simulation, Congresses, Formal methods (Computer science), Machine theory