Formal Modeling and Analysis of Timed Systems 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings

Formal Modeling and Analysis of Timed Systems 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings

Weitere Versionen anzeigen (1)

Gespeichert in:

Bibliographische Detailangaben
Format:	Elektronisch Tagungsbericht E-Book
Sprache:	English
Veröffentlicht:	Cham Springer 2015
Ausgabe:	1st ed. 2015
Schriftenreihe:	Lecture Notes in Computer Science 9268
Schlagworte:	Computer science Software engineering Logic design Computer Science Computation by Abstract Devices Logics and Meanings of Programs Software Engineering Computer Applications Mathematical Logic and Formal Languages Informatik Zeitbehafteter Automat Zeitdiskretes System Hybrides System Spezifikation Verifikation Echtzeitsystem Formale Methode Konferenzschrift > 2015 > Madrid
Online-Zugang:	Volltext Abstract
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Formal modeling and analysis of timed systems 13th international conference, FORMATS 2015, Madrid, Spain, September 2 - 4 , 2015 ; proceedings

Formal modeling and analysis of timed systems 13th international conference, FORMATS 2015, Madrid, Spain, September 2 - 4 , 2015 ; proceedings

Veröffentlicht 2015

Tagungsbericht Buch