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)
By Wang Yi
Publish Date
January 23, 2006
Publisher
Springer
Language
eng
Pages
305
Description:
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, Congres, Zeitdiskretes System, Formale Sprache, Informatique, Formale Methode, Methodes formelles (Informatique), Automata