- Sprache
-
Englisch
- Umfang
-
XIV, 600 S.
- ISBN
-
978-3-540-00296-3
- Identifier
-
966197895
- Reihe
-
Texts in theoretical computer science
Thema
Reaktives System ; Verifikation ; Formale Spezifikationstechnik ; Model Checking ; Endlicher Automat ; Temporale Logik
Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
16.08.2023, 18:36 MESZ
Objekttyp
- Monografie
Beteiligte
Ähnliche Objekte (12)
Model based testing of reactive systems : advanced lectures
Unfoldings : a partial order approach to model checking
Developing concepts and methods for module and integration tests for models of reactive systems
Systems and software verification : model checking techniques and tools
System verification tools based on monadic logics
Formal modeling and analysis of timed systems : 6th international conference ; proceedings
Formal modeling and analysis of timed systems : 7th international conference ; proceedings
Formal techniques in real time and fault tolerant systems : 5th international symposium ; proceedings
Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction
Formal modeling and analysis of timed systems : 4th international conference ; proceedings
Formal modeling and analysis of timed systems : 5th international conference ; proceedings
The theory and practice of runtime reflection : a model-based framework for dynamic analysis of distributed reactive systems
Model based testing of reactive systems : advanced lectures
Unfoldings : a partial order approach to model checking
Developing concepts and methods for module and integration tests for models of reactive systems
Systems and software verification : model checking techniques and tools
System verification tools based on monadic logics
Formal modeling and analysis of timed systems : 6th international conference ; proceedings
Formal modeling and analysis of timed systems : 7th international conference ; proceedings
Formal techniques in real time and fault tolerant systems : 5th international symposium ; proceedings
Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction
Formal modeling and analysis of timed systems : 4th international conference ; proceedings
Formal modeling and analysis of timed systems : 5th international conference ; proceedings
The theory and practice of runtime reflection : a model-based framework for dynamic analysis of distributed reactive systems
Model based testing of reactive systems : advanced lectures
Unfoldings : a partial order approach to model checking
Developing concepts and methods for module and integration tests for models of reactive systems
Systems and software verification : model checking techniques and tools
System verification tools based on monadic logics
Formal modeling and analysis of timed systems : 6th international conference ; proceedings
Formal modeling and analysis of timed systems : 7th international conference ; proceedings
Formal techniques in real time and fault tolerant systems : 5th international symposium ; proceedings
Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction
Formal modeling and analysis of timed systems : 4th international conference ; proceedings
Formal modeling and analysis of timed systems : 5th international conference ; proceedings