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

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!

Keine Ergebnisse!