Hochschulschrift
Open graph transformation systems : a new approach to the compositional modelling of concurrent and reactive systems
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
21 cm
- Umfang
-
177 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Berlin, Techn. Univ., Diss., 1998
- Schlagwort
-
Nebenläufigkeit
Produktionsregelsystem
Graphersetzungssystem
Sichtenkonzept
Formale Spezifikationstechnik
Temporale Logik
- Urheber
-
Heckel, Reiko
- 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:57 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
- Heckel, Reiko
Ähnliche Objekte (12)
Compositional synthesis of reactive systems
The temporal logic of reactive and concurrent systems : specification
Compositional Concurrent Program Verification with RGITL
Model checking compositional Markov systems
Compositional refinement of interactive systems
Compositional Testing of Communication Systems
Interaction in concurrent systems
Compositional verification and specification of refinement for reactive systems in a dense time temporal logic
Relevance of spatio-temporal heterogeneities in modelling geomicrobial reactive systems
Specifying reactive systems with action dependencies : modelling and hierarchical design
Compositional stability verification of hybrid systems
Predicting Errors in Concurrent Systems
Compositional synthesis of reactive systems
The temporal logic of reactive and concurrent systems : specification
Compositional Concurrent Program Verification with RGITL
Model checking compositional Markov systems
Compositional refinement of interactive systems
Compositional Testing of Communication Systems
Interaction in concurrent systems
Compositional verification and specification of refinement for reactive systems in a dense time temporal logic
Relevance of spatio-temporal heterogeneities in modelling geomicrobial reactive systems
Specifying reactive systems with action dependencies : modelling and hierarchical design
Compositional stability verification of hybrid systems
Predicting Errors in Concurrent Systems
Compositional synthesis of reactive systems
The temporal logic of reactive and concurrent systems : specification
Compositional Concurrent Program Verification with RGITL
Model checking compositional Markov systems
Compositional refinement of interactive systems
Compositional Testing of Communication Systems
Interaction in concurrent systems
Compositional verification and specification of refinement for reactive systems in a dense time temporal logic
Relevance of spatio-temporal heterogeneities in modelling geomicrobial reactive systems
Specifying reactive systems with action dependencies : modelling and hierarchical design
Compositional stability verification of hybrid systems