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
Edition Identifiers
Work Identifiers
Community Reviews (0)
History
- Created April 30, 2008
- 11 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| December 29, 2022 | Edited by MARC Bot | import existing book |
| February 25, 2022 | Edited by ImportBot | import existing book |
| December 14, 2020 | Edited by MARC Bot | import existing book |
| July 1, 2019 | Edited by MARC Bot | replacing ocaid with lendable copy |
| April 30, 2008 | Created by an anonymous user | Imported from amazon.com record |