Hochschulschrift
Compositional verification and specification of refinement for reactive systems in a dense time temporal logic
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
21 cm
- Umfang
-
XIV, 178 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Zugl.: Kiel, Univ., Diss.
- Erschienen in
-
Bericht / Christian-Albrechts-Universität zu Kiel ; Nr. 9601
- Ereignis
-
Veröffentlichung
- (wo)
-
Kiel
- (wer)
-
Inst. für Informatik und Praktische Mathematik
- (wann)
-
1996
- Urheber
-
Cau, Antonio
- 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:38 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
- Cau, Antonio
- Inst. für Informatik und Praktische Mathematik
Entstanden
- 1996
Ähnliche Objekte (12)
Specification and compositional verification of real time systems
An environment for compositional specification verification of complex embedded systems
Compositional refinement of interactive systems
Decomposition for compositional verification
Compositional stability verification of hybrid systems
Compositional Concurrent Program Verification with RGITL
Formal model refinement : from specification to implementation
Refinement-Based Verification of Communicating Unstructured Code
Modular Specification and Compositional Soundness of Abstract Interpreters
Specification and refinement of domain-specific ECA policies
Process theory: semantics, specification and verification
Specification and verification of concurrent systems
Specification and compositional verification of real time systems
An environment for compositional specification verification of complex embedded systems
Compositional refinement of interactive systems
Decomposition for compositional verification
Compositional stability verification of hybrid systems
Compositional Concurrent Program Verification with RGITL
Formal model refinement : from specification to implementation
Refinement-Based Verification of Communicating Unstructured Code
Modular Specification and Compositional Soundness of Abstract Interpreters
Specification and refinement of domain-specific ECA policies
Process theory: semantics, specification and verification
Specification and verification of concurrent systems
Specification and compositional verification of real time systems
An environment for compositional specification verification of complex embedded systems
Compositional refinement of interactive systems
Decomposition for compositional verification
Compositional stability verification of hybrid systems
Compositional Concurrent Program Verification with RGITL
Formal model refinement : from specification to implementation
Refinement-Based Verification of Communicating Unstructured Code
Modular Specification and Compositional Soundness of Abstract Interpreters
Specification and refinement of domain-specific ECA policies
Process theory: semantics, specification and verification