Title: Formal modeling and analysis of timed systems
Subjects: Machine theory, Automates temporels, Méthodes formelles (Informatique), Temporal automata, Simulation par ordinateur, Robots, Congrès, Automates mathématiques, Théorie des, Computer simulation, Congresses, Formal methods (Computer science), Theorie des Automates mathematiques, Temporale Logik, Echtzeitsystem, COMPUTERS, Congres, Zeitdiskretes System, Formale Sprache, Informatique, Formale Methode, Methodes formelles (Informatique), Automata