Monografie
Formal modeling and analysis of timed systems : 7th international conference ; proceedings
- Sprache
-
Englisch
- Umfang
-
X, 290 S.
- ISBN
-
978-3-642-04367-3
- Identifier
-
995948194
- Reihe
-
Lecture notes in computer science; Vol. 5813
Thema
Zeitdiskretes System ; Zeitbehafteter Automat ; Hybrides System ; Echtzeitsystem ; Model Checking ; Temporale Logik ; Zeitbewertetes Petri-Netz ; Formale Methode ; Konferenzschrift Budapest; Kongress Budapest <2009>
Beteiligte Personen und Organisationen
Ouaknine, Joe͏̈l
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
16.08.2023, 18:37 MESZ
Objekttyp
- Monografie
Beteiligte
- Ouaknine, Joe͏̈l
Ähnliche Objekte (12)
Formal modeling and analysis of timed systems : 4th international conference ; proceedings
Formal modeling and analysis of timed systems : 5th international conference ; proceedings
Formal modeling and analysis of timed systems : 6th international conference ; proceedings
Formal modeling and analysis of timed systems : third international conference ; proceedings
Formal techniques, modelling and analysis of timed and fault tolerant systems : proceedings
Formal modeling and analysis of timed systems : 9th international conference ; proceedings
Formal modeling and analysis of timed systems : 10th international conference ; proceedings
Formal modeling and analysis of timed systems : 11th international conference ; proceedings
Formal modeling and analysis of timed systems : 8th international conference ; proceedings
Operational semantics for timed systems : a non-standard approach to uniform modeling of timed and hybrid systems
Formal techniques in real time and fault tolerant systems : 5th international symposium ; proceedings
Formal methods for the design of real time systems : revised lectures
Formal modeling and analysis of timed systems : 4th international conference ; proceedings
Formal modeling and analysis of timed systems : 5th international conference ; proceedings
Formal modeling and analysis of timed systems : 6th international conference ; proceedings
Formal modeling and analysis of timed systems : third international conference ; proceedings
Formal techniques, modelling and analysis of timed and fault tolerant systems : proceedings
Formal modeling and analysis of timed systems : 9th international conference ; proceedings
Formal modeling and analysis of timed systems : 10th international conference ; proceedings
Formal modeling and analysis of timed systems : 11th international conference ; proceedings
Formal modeling and analysis of timed systems : 8th international conference ; proceedings
Operational semantics for timed systems : a non-standard approach to uniform modeling of timed and hybrid systems
Formal techniques in real time and fault tolerant systems : 5th international symposium ; proceedings
Formal methods for the design of real time systems : revised lectures
Formal modeling and analysis of timed systems : 4th international conference ; proceedings
Formal modeling and analysis of timed systems : 5th international conference ; proceedings
Formal modeling and analysis of timed systems : 6th international conference ; proceedings
Formal modeling and analysis of timed systems : third international conference ; proceedings
Formal techniques, modelling and analysis of timed and fault tolerant systems : proceedings
Formal modeling and analysis of timed systems : 9th international conference ; proceedings
Formal modeling and analysis of timed systems : 10th international conference ; proceedings
Formal modeling and analysis of timed systems : 11th international conference ; proceedings
Formal modeling and analysis of timed systems : 8th international conference ; proceedings
Operational semantics for timed systems : a non-standard approach to uniform modeling of timed and hybrid systems
Formal techniques in real time and fault tolerant systems : 5th international symposium ; proceedings