An edition of Formal modeling and analysis of timed systems
(2005)
Formal Modeling and Analysis of Timed Systems
Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings (Lecture Notes in Computer Science)
1 edition
by Wang Yi
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
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, Computer Simulation, Congres, Zeitdiskretes System, Formale Sprache, Informatique, Formale Methode, Methodes formelles (Informatique), Automata| Edition | Availability |
|---|---|
1
Formal Modeling and Analysis of Timed Systems: Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings (Lecture Notes in Computer Science)
January 23, 2006, Springer
Paperback
in English
- 1 edition
3540309462 9783540309468
|
aaaa
|
2
Formal Modeling and Analysis of Timed Systems: Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings
2005, Springer London, Limited
in English
3540316167 9783540316169
|
zzzz
|
Book Details
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?
| February 25, 2022 | Edited by ImportBot | import existing book |
| December 14, 2020 | Edited by MARC Bot | import existing book |
| January 10, 2019 | Edited by MARC Bot | import existing book |
| September 19, 2018 | Edited by ImportBot | import new book |
| July 28, 2014 | Created by ImportBot | import new book |