Title: Formal Modeling and Analysis of Timed Systems
Subjects: Logic design, Data processing, Computer science, Software engineering, Algebra, Information theory, Computer simulation, Congresses, Temporal automata, Formal methods (Computer science), Machine theory, Hybrides System, Kongress, Echtzeitsystem, Formale Methode, Model Checking, Temporale Logik, Zeitbehafteter Automat, Zeitbewertetes Petri-Netz, Zeitdiskretes System, Robots