Hochschulschrift
A temporal logic for the specification and verification of distributed behaviour
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
30 cm
- Umfang
-
XII, 246 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Hildesheim, Univ., Diss., 1998
- Schlagwort
-
Prozess
Verteiltes System
Temporale Logik
Fixpunkt-Logik
Endlicher Automat
Model Checking
- Urheber
-
Niebert, Peter
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 13:35 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
- Niebert, Peter
Ähnliche Objekte (12)
An event based temporal logic specification of distributed systems
Integration of graph transformation and temporal logic for the specification of distributed systems
Compositional verification and specification of refinement for reactive systems in a dense time temporal logic
Runtime Verification Using a Temporal Description Logic Revisited
Specification and verification of distributed technical systems with central control
The temporal logic of reactive and concurrent systems : specification
QoS Specification Based on SDL/MSC and Temporal Logic
Temporal Logic
Specification and verification of declarative open interaction models : a logic-based approach
Temporal logic in specification : Altrincham, UK, April 8 - 10, 1987 ; proceedings
Markov temporal logic
Concurrent temporal logic
An event based temporal logic specification of distributed systems
Integration of graph transformation and temporal logic for the specification of distributed systems
Compositional verification and specification of refinement for reactive systems in a dense time temporal logic
Runtime Verification Using a Temporal Description Logic Revisited
Specification and verification of distributed technical systems with central control
The temporal logic of reactive and concurrent systems : specification
QoS Specification Based on SDL/MSC and Temporal Logic
Temporal Logic
Specification and verification of declarative open interaction models : a logic-based approach
Temporal logic in specification : Altrincham, UK, April 8 - 10, 1987 ; proceedings
Markov temporal logic
Concurrent temporal logic
An event based temporal logic specification of distributed systems
Integration of graph transformation and temporal logic for the specification of distributed systems
Compositional verification and specification of refinement for reactive systems in a dense time temporal logic
Runtime Verification Using a Temporal Description Logic Revisited
Specification and verification of distributed technical systems with central control
The temporal logic of reactive and concurrent systems : specification
QoS Specification Based on SDL/MSC and Temporal Logic
Temporal Logic
Specification and verification of declarative open interaction models : a logic-based approach
Temporal logic in specification : Altrincham, UK, April 8 - 10, 1987 ; proceedings
Markov temporal logic