Hochschulschrift
A temporal logic for the specification and verification of distributed behaviour
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
30 cm
- Extent
-
XII, 246 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Hildesheim, Univ., Diss., 1998
- Keyword
-
Prozess
Verteiltes System
Temporale Logik
Fixpunkt-Logik
Endlicher Automat
Model Checking
- Creator
-
Niebert, Peter
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 11:52 AM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
- Niebert, Peter
Other Objects (12)
An event based temporal logic specification of distributed systems
Specification and verification of distributed technical systems with central control
Specification and verification of declarative open interaction models : a logic-based approach
Computer logic, testing and verification
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
Specification and verification of concurrent systems
Process theory: semantics, specification and verification
Software verification for programmable logic controllers
Software verification for programmable logic controllers
Workshop Concurrency, Specification and Programming, Vol. 2.. Specification and verification
Formal specification and verification : structures and techniques
An event based temporal logic specification of distributed systems
Specification and verification of distributed technical systems with central control
Specification and verification of declarative open interaction models : a logic-based approach
Computer logic, testing and verification
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
Specification and verification of concurrent systems
Process theory: semantics, specification and verification
Software verification for programmable logic controllers
Software verification for programmable logic controllers
Workshop Concurrency, Specification and Programming, Vol. 2.. Specification and verification
Formal specification and verification : structures and techniques
An event based temporal logic specification of distributed systems
Specification and verification of distributed technical systems with central control
Specification and verification of declarative open interaction models : a logic-based approach
Computer logic, testing and verification
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
Specification and verification of concurrent systems
Process theory: semantics, specification and verification
Software verification for programmable logic controllers
Software verification for programmable logic controllers
Workshop Concurrency, Specification and Programming, Vol. 2.. Specification and verification