Monografie
Integration of graph transformation and temporal logic for the specification of distributed systems
- Sprache
-
Englisch
- Anmerkungen
-
Berlin, Techn. Univ., Diss., 1999
- Identifier
-
95958787X
Thema
Verteiltes System ; Softwarespezifikation ; Formale Spezifikationstechnik ; Graphersetzungssystem ; Temporale Logik ; Hochschulschrift; Online-Publikation
Beteiligte Personen und Organisationen
Koch, Manuel
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:54 MEZ
Objekttyp
- Monografie
Beteiligte
- Koch, Manuel
Ähnliche Objekte (12)
Foundations of a module concept for distributed object systems
Combining specification methods for distributed systems
Ein generativer Ansatz zur Konstruktion des Managements verteilter kooperierender Systeme aus abstrakten Spezifikationen
Developing concepts and methods for module and integration tests for models of reactive systems
Automated design of efficient fail-safe fault tolerance
Distributed system design with message sequence charts
The theory and practice of runtime reflection : a model-based framework for dynamic analysis of distributed reactive systems
Relational exploration : combining description logics and formal concept analysis for knowledge specification
A resolution-based calculus for temporal logics
Formale Fehlerbaumanalyse
Sprachbasierte Konstruktion sicherer Systeme
Security, caching and self-management in distributed information systems
Foundations of a module concept for distributed object systems
Combining specification methods for distributed systems
Ein generativer Ansatz zur Konstruktion des Managements verteilter kooperierender Systeme aus abstrakten Spezifikationen
Developing concepts and methods for module and integration tests for models of reactive systems
Automated design of efficient fail-safe fault tolerance
Distributed system design with message sequence charts
The theory and practice of runtime reflection : a model-based framework for dynamic analysis of distributed reactive systems
Relational exploration : combining description logics and formal concept analysis for knowledge specification
A resolution-based calculus for temporal logics
Formale Fehlerbaumanalyse
Sprachbasierte Konstruktion sicherer Systeme
Security, caching and self-management in distributed information systems
Foundations of a module concept for distributed object systems
Combining specification methods for distributed systems
Ein generativer Ansatz zur Konstruktion des Managements verteilter kooperierender Systeme aus abstrakten Spezifikationen
Developing concepts and methods for module and integration tests for models of reactive systems
Automated design of efficient fail-safe fault tolerance
Distributed system design with message sequence charts
The theory and practice of runtime reflection : a model-based framework for dynamic analysis of distributed reactive systems
Relational exploration : combining description logics and formal concept analysis for knowledge specification
A resolution-based calculus for temporal logics
Formale Fehlerbaumanalyse
Sprachbasierte Konstruktion sicherer Systeme