- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540549475
3540549471
9780387549477
0387549471
- Dimensions
-
24 cm
- Extent
-
VIII, 235 S.
- Language
-
Englisch
- Notes
-
Literaturverz. S. 228 - 235
- Bibliographic citation
-
Lecture notes in computer science ; 558
- Keyword
-
Echtzeitsystem
Softwarespezifikation
Programmverifikation
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, London, Paris, Tokyo, Hong Kong, Barcelona, Budapest
- (who)
-
Springer
- (when)
-
1991
- Creator
-
Hooman, Jozef J. M.
- 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, 2:27 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.
Associated
- Hooman, Jozef J. M.
- Springer
Time of origin
- 1991
Other Objects (12)
Specification and verification of polling real time systems
Specification and verification of mobile real-time systems
An environment for compositional specification verification of complex embedded systems
Specification and verification of hybrid and real time systems
Compositional verification and specification of refinement for reactive systems in a dense time temporal logic
Specification and automated verification of atomic concurrent real-time transactions
Decomposition for compositional verification
Specification and seamless verification of embedded real-time systems : FOCUS on Isabelle
Specification and verification for real-time coordination protocols of cyber-physical systems
Compositional stability verification of hybrid systems
Compositional Concurrent Program Verification with RGITL
Specification techniques for real-time systems
Specification and verification of polling real time systems
Specification and verification of mobile real-time systems
An environment for compositional specification verification of complex embedded systems
Specification and verification of hybrid and real time systems
Compositional verification and specification of refinement for reactive systems in a dense time temporal logic
Specification and automated verification of atomic concurrent real-time transactions
Decomposition for compositional verification
Specification and seamless verification of embedded real-time systems : FOCUS on Isabelle
Specification and verification for real-time coordination protocols of cyber-physical systems
Compositional stability verification of hybrid systems
Compositional Concurrent Program Verification with RGITL
Specification techniques for real-time systems
Specification and verification of polling real time systems
Specification and verification of mobile real-time systems
An environment for compositional specification verification of complex embedded systems
Specification and verification of hybrid and real time systems
Compositional verification and specification of refinement for reactive systems in a dense time temporal logic
Specification and automated verification of atomic concurrent real-time transactions
Decomposition for compositional verification
Specification and seamless verification of embedded real-time systems : FOCUS on Isabelle
Specification and verification for real-time coordination protocols of cyber-physical systems
Compositional stability verification of hybrid systems
Compositional Concurrent Program Verification with RGITL