- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Language
-
Englisch
- Notes
-
Saarbrücken, Univ., Diss., 2008
- Classification
-
Informatik
- Keyword
-
Echtzeitsystem ; Verteiltes System ; Korrektheit ; Automatisches Beweisverfahren
- Creator
- URN
-
urn:nbn:de:bsz:291-scidok-32122
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:34 AM 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
Other Objects (12)
Effective correctness criteria for real-time requirements
Evaluating distributed real-time and embedded system test correctness using system execution traces
Pervasive verification of distributed real-time systems
Validation of safety critical distributed real-time systems
Blocking Optimality in Distributed Real-Time Locking Protocols
Dynamic phasors to enable distributed real-time simulation
Distributed real-time co-simulation as a service
Validation of safety critical distributed real-time systems
Efficient persistence management in distributed real-time interactive applications
Reconciling fault-tolerant distributed algorithms and real-time computing
Integrated timing verification for distributed embedded real-time systems
Distributed and Real-time Integrated Simulation System on Avionics
Effective correctness criteria for real-time requirements
Evaluating distributed real-time and embedded system test correctness using system execution traces
Pervasive verification of distributed real-time systems
Validation of safety critical distributed real-time systems
Blocking Optimality in Distributed Real-Time Locking Protocols
Dynamic phasors to enable distributed real-time simulation
Distributed real-time co-simulation as a service
Validation of safety critical distributed real-time systems
Efficient persistence management in distributed real-time interactive applications
Reconciling fault-tolerant distributed algorithms and real-time computing
Integrated timing verification for distributed embedded real-time systems
Distributed and Real-time Integrated Simulation System on Avionics
Effective correctness criteria for real-time requirements
Evaluating distributed real-time and embedded system test correctness using system execution traces
Pervasive verification of distributed real-time systems
Validation of safety critical distributed real-time systems
Blocking Optimality in Distributed Real-Time Locking Protocols
Dynamic phasors to enable distributed real-time simulation
Distributed real-time co-simulation as a service
Validation of safety critical distributed real-time systems
Efficient persistence management in distributed real-time interactive applications
Reconciling fault-tolerant distributed algorithms and real-time computing
Integrated timing verification for distributed embedded real-time systems