- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
21 cm
- Extent
-
187 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Zugl.: Kiel, Univ., Diss., 1996
- Bibliographic citation
-
Bericht / Christian-Albrechts-Universität zu Kiel ; Nr. 9609
- Event
-
Veröffentlichung
- (where)
-
Kiel
- (who)
-
Inst. für Informatik und Praktische Mathematik
- (when)
-
1996
- Creator
-
Lakhnech, Yassine
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 1:34 PM CEST
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
- Lakhnech, Yassine
- Inst. für Informatik und Praktische Mathematik
Time of origin
- 1996
Other Objects (12)
Hybrid multi-agent systems: modeling, specification and verification
Specification and verification of polling real time systems
Specification and compositional verification of real time systems
Specification and verification of mobile real-time systems
Specification and automated verification of atomic concurrent real-time transactions
Workshop Concurrency, Specification and Programming, Vol. 2.. Specification and verification
Process theory: semantics, specification and verification
Specification and verification of concurrent systems
Formal specification and verification : structures and techniques
Specification of real time and hybrid systems in FOCUS
Specification and seamless verification of embedded real-time systems : FOCUS on Isabelle
Specification and verification for real-time coordination protocols of cyber-physical systems
Hybrid multi-agent systems: modeling, specification and verification
Specification and verification of polling real time systems
Specification and compositional verification of real time systems
Specification and verification of mobile real-time systems
Specification and automated verification of atomic concurrent real-time transactions
Workshop Concurrency, Specification and Programming, Vol. 2.. Specification and verification
Process theory: semantics, specification and verification
Specification and verification of concurrent systems
Formal specification and verification : structures and techniques
Specification of real time and hybrid systems in FOCUS
Specification and seamless verification of embedded real-time systems : FOCUS on Isabelle
Specification and verification for real-time coordination protocols of cyber-physical systems
Hybrid multi-agent systems: modeling, specification and verification
Specification and verification of polling real time systems
Specification and compositional verification of real time systems
Specification and verification of mobile real-time systems
Specification and automated verification of atomic concurrent real-time transactions
Workshop Concurrency, Specification and Programming, Vol. 2.. Specification and verification
Process theory: semantics, specification and verification
Specification and verification of concurrent systems
Formal specification and verification : structures and techniques
Specification of real time and hybrid systems in FOCUS
Specification and seamless verification of embedded real-time systems : FOCUS on Isabelle