Formal modeling and analysis of timed systems 7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 ; proceedings

Formal modeling and analysis of timed systems 7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 ; proceedings

Weitere Versionen anzeigen (1)
Gespeichert in:
Bibliographische Detailangaben
Format: Tagungsbericht Buch
Sprache:English
Veröffentlicht: Berlin [u.a.] Springer 2009
Schriftenreihe:Lecture notes in computer science 5813
Schlagworte:
Hybrides System - Echtzeitsystem - Formale Methode - Kongress - Budapest <2009>
Model Checking - Temporale Logik - Formale Methode - Kongress - Budapest <2009>
Zeitbehafteter Automat - Formale Methode - Kongress - Budapest <2009>
Zeitbewertetes Petri-Netz - Formale Methode - Kongress - Budapest <2009>
Zeitdiskretes System - Formale Methode - Kongress - Budapest <2009>
Computer simulation > Congresses
Formal methods (Computer science) > Congresses
Machine theory > Congresses
Temporal automata > Congresses
Temporale Logik
Zeitbehafteter Automat
Model Checking
Echtzeitsystem
Hybrides System
Formale Methode
Zeitbewertetes Petri-Netz
Zeitdiskretes System
Konferenzschrift > 2009 > Budapest
Online-Zugang:Inhaltsverzeichnis
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

Wegen Wartungsarbeiten nicht verfügbar

Unser Bibliotheksverwaltungssystem ist momentan wegen Wartungsarbeiten nicht verfügbar.

Bestandes- und Verfügbarkeitsinformationen können momentan leider nicht angezeigt werden. Wir entschuldigen uns für die Umstände und stehen für weitere Fragen gerne zur Verfügung:

it.bib-wue@thws.de

Online

Inhaltsverzeichnis

Ähnliche Einträge