- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
21 cm
- Extent
-
19 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
- Event
-
Veröffentlichung
- (where)
-
München
- (who)
-
Math. Inst. und Inst. für Informatik
- (when)
-
1996
- Creator
-
Müller, Olaf
Scholz, Peter
- 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:57 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
- Müller, Olaf
- Scholz, Peter
- Math. Inst. und Inst. für Informatik
Time of origin
- 1996
Other Objects (12)
Specification and verification of hybrid and real time systems
Specification and seamless verification of embedded real-time systems : FOCUS on Isabelle
Specification techniques for real-time systems
Specification and verification of polling real time systems
Specification and compositional verification of real time systems
Specification and verification of mobile real-time systems
Development of Real-Time Hybrid Focus Optoacoustic Microscopy for Multi-scale Imaging in Scattering Tissues
UML-based specification of state oriented real time properties
Specification and automated verification of atomic concurrent real-time transactions
Software development of reconfigurable real-time systems : from specification to implementation
Specification and Analysis of Software Systems with Configurable Real-Time Behavior
Hybrid and real time systems : international workshop ; proceedings
Specification and verification of hybrid and real time systems
Specification and seamless verification of embedded real-time systems : FOCUS on Isabelle
Specification techniques for real-time systems
Specification and verification of polling real time systems
Specification and compositional verification of real time systems
Specification and verification of mobile real-time systems
Development of Real-Time Hybrid Focus Optoacoustic Microscopy for Multi-scale Imaging in Scattering Tissues
UML-based specification of state oriented real time properties
Specification and automated verification of atomic concurrent real-time transactions
Software development of reconfigurable real-time systems : from specification to implementation
Specification and Analysis of Software Systems with Configurable Real-Time Behavior
Hybrid and real time systems : international workshop ; proceedings
Specification and verification of hybrid and real time systems
Specification and seamless verification of embedded real-time systems : FOCUS on Isabelle
Specification techniques for real-time systems
Specification and verification of polling real time systems
Specification and compositional verification of real time systems
Specification and verification of mobile real-time systems
Development of Real-Time Hybrid Focus Optoacoustic Microscopy for Multi-scale Imaging in Scattering Tissues
UML-based specification of state oriented real time properties
Specification and automated verification of atomic concurrent real-time transactions
Software development of reconfigurable real-time systems : from specification to implementation
Specification and Analysis of Software Systems with Configurable Real-Time Behavior