Hochschulschrift | Online-Publikation
Integration of graph transformation and temporal logic for the specification of distributed systems
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Language
-
Englisch
- Notes
-
Berlin, Techn. Univ., Diss., 1999
- Keyword
-
Verteiltes System
Softwarespezifikation
Formale Spezifikationstechnik
Graphersetzungssystem
Temporale Logik
- Creator
-
Koch, Manuel
- URN
-
urn:nbn:de:kobv:83-opus-284
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:44 PM 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
- Online-Publikation
Associated
- Koch, Manuel
Other Objects (12)
An event based temporal logic specification of distributed systems
A temporal logic for the specification and verification of distributed behaviour
The temporal logic of reactive and concurrent systems : specification
QoS Specification Based on SDL/MSC and Temporal Logic
Object oriented specification of distributed systems
Temporal Logic
Visual Specification of Spatio-Temporal Developments
Induction of Linear Temporal Logic Programs
Induction of linear temporal logic programs
Temporal logic in specification : Altrincham, UK, April 8 - 10, 1987 ; proceedings
LIMETTE : logic programming integrating metric temporal extensions ; an extension of KA-Prolog for temporal reasoning ; language specification user manual
Implicit specification of a distributed system configuration
An event based temporal logic specification of distributed systems
A temporal logic for the specification and verification of distributed behaviour
The temporal logic of reactive and concurrent systems : specification
QoS Specification Based on SDL/MSC and Temporal Logic
Object oriented specification of distributed systems
Temporal Logic
Visual Specification of Spatio-Temporal Developments
Induction of Linear Temporal Logic Programs
Induction of linear temporal logic programs
Temporal logic in specification : Altrincham, UK, April 8 - 10, 1987 ; proceedings
LIMETTE : logic programming integrating metric temporal extensions ; an extension of KA-Prolog for temporal reasoning ; language specification user manual
Implicit specification of a distributed system configuration
An event based temporal logic specification of distributed systems
A temporal logic for the specification and verification of distributed behaviour
The temporal logic of reactive and concurrent systems : specification
QoS Specification Based on SDL/MSC and Temporal Logic
Object oriented specification of distributed systems
Temporal Logic
Visual Specification of Spatio-Temporal Developments
Induction of Linear Temporal Logic Programs
Induction of linear temporal logic programs
Temporal logic in specification : Altrincham, UK, April 8 - 10, 1987 ; proceedings
LIMETTE : logic programming integrating metric temporal extensions ; an extension of KA-Prolog for temporal reasoning ; language specification user manual