An edition of Formal Modeling and Analysis of Timed Systems (2009)
Formal Modeling and Analysis of Timed Systems
7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings
By Joël Ouaknine
0 (0 Ratings)
0 Want to read0 Currently reading0 Have read
0 Want to read0 Currently reading0 Have read
Publish Date
2009
Publisher
Springer Berlin Heidelberg
Language
eng
Pages
-
Description:
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