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
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
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| Edition | Availability |
|---|---|
1
Formal Modeling and Analysis of Timed Systems: 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings
2009, Springer Berlin Heidelberg
electronic resource :
in English
3642043674 9783642043673
|
aaaa
|
Book Details
Edition Notes
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?
| December 26, 2022 | Edited by MARC Bot | import existing book |
| November 13, 2020 | Edited by MARC Bot | import existing book |
| June 30, 2019 | Edited by MARC Bot | import existing book |
| July 28, 2014 | Created by ImportBot | import new book |