Formal modeling and analysis of timed systems 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	FORMATS (BerichterstatterIn)
Weitere Verfasser:	Chatterjee, Krishnendu (HerausgeberIn), Henzinger, Thomas A. (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin, Heidelberg u.a. Springer 2010
Schriftenreihe:	Lecture notes in computer science 6246
Schlagworte:	Computer simulation > Temporal automata > Formal methods (Computer science) > Konferenzschrift > Zeitdiskretes System > Formale Methode > Zeitbehafteter Automat > Zeitbewertetes Petri-Netz
Online Zugang:	Inhaltstext Inhaltsverzeichnis Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!