- Sprache
-
Englisch
- Umfang
-
VI, 113 S.
- ISBN
-
978-3-7643-3625-7
- Identifier
-
921050453
- Reihe
-
Progress in theoretical computer science; 6
Thema
Unendlichdimensionales System ; Nebenläufigkeit ; Verifikation ; Temporale Logik
Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.04.2024, 08:54 MESZ
Objekttyp
- Monografie
Beteiligte
Ähnliche Objekte (12)
Unfoldings : a partial order approach to model checking
Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction
Verification of reactive systems : formal methods and algorithms
Modelling distributed systems : with 7 tables
Modal and temporal properties of processes
The temporal logic of reactive and concurrent systems : specification
Symbolische LTL-Verifikation von Petrinetzen
Coordination models and languages : 11th international conference ; coordination 2009, Lisbon, Portugal, June 9 - 12, 2009 ; proceedings
Concurrency and hardware design : advances in Petri nets
Formal techniques in real time and fault tolerant systems : 5th international symposium ; proceedings
Duration calculus : a formal approach to real-time systems
Specification and verification of concurrent systems
Unfoldings : a partial order approach to model checking
Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction
Verification of reactive systems : formal methods and algorithms
Modelling distributed systems : with 7 tables
Modal and temporal properties of processes
The temporal logic of reactive and concurrent systems : specification
Symbolische LTL-Verifikation von Petrinetzen
Coordination models and languages : 11th international conference ; coordination 2009, Lisbon, Portugal, June 9 - 12, 2009 ; proceedings
Concurrency and hardware design : advances in Petri nets
Formal techniques in real time and fault tolerant systems : 5th international symposium ; proceedings
Duration calculus : a formal approach to real-time systems
Specification and verification of concurrent systems
Unfoldings : a partial order approach to model checking
Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction
Verification of reactive systems : formal methods and algorithms
Modelling distributed systems : with 7 tables
Modal and temporal properties of processes
The temporal logic of reactive and concurrent systems : specification
Symbolische LTL-Verifikation von Petrinetzen
Coordination models and languages : 11th international conference ; coordination 2009, Lisbon, Portugal, June 9 - 12, 2009 ; proceedings
Concurrency and hardware design : advances in Petri nets
Formal techniques in real time and fault tolerant systems : 5th international symposium ; proceedings
Duration calculus : a formal approach to real-time systems