- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540549475
3540549471
9780387549477
0387549471
- Maße
-
24 cm
- Umfang
-
VIII, 235 S.
- Sprache
-
Englisch
- Anmerkungen
-
Literaturverz. S. 228 - 235
- Erschienen in
-
Lecture notes in computer science ; 558
- Schlagwort
-
Echtzeitsystem
Softwarespezifikation
Programmverifikation
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin, Heidelberg, New York, London, Paris, Tokyo, Hong Kong, Barcelona, Budapest
- (wer)
-
Springer
- (wann)
-
1991
- Urheber
-
Hooman, Jozef J. M.
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:27 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.
Beteiligte
- Hooman, Jozef J. M.
- Springer
Entstanden
- 1991
Ähnliche Objekte (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
Decomposition for compositional verification
Specification and verification for real-time coordination protocols of cyber-physical systems
Specification and seamless verification of embedded real-time systems : FOCUS on Isabelle
Compositional Concurrent Program Verification with RGITL
Compositional stability verification of hybrid systems
Modular Specification and Compositional Soundness of Abstract Interpreters
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
Decomposition for compositional verification
Specification and verification for real-time coordination protocols of cyber-physical systems
Specification and seamless verification of embedded real-time systems : FOCUS on Isabelle
Compositional Concurrent Program Verification with RGITL
Compositional stability verification of hybrid systems
Modular Specification and Compositional Soundness of Abstract Interpreters
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
Decomposition for compositional verification
Specification and verification for real-time coordination protocols of cyber-physical systems
Specification and seamless verification of embedded real-time systems : FOCUS on Isabelle
Compositional Concurrent Program Verification with RGITL
Compositional stability verification of hybrid systems
Modular Specification and Compositional Soundness of Abstract Interpreters