- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Sprache
-
Englisch
- Anmerkungen
-
Saarbrücken, Univ., Diss., 2008
- Klassifikation
-
Informatik
- Schlagwort
-
Echtzeitsystem ; Verteiltes System ; Korrektheit ; Automatisches Beweisverfahren
- Urheber
- URN
-
urn:nbn:de:bsz:291-scidok-32122
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:34 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.
Objekttyp
- Hochschulschrift
Beteiligte
Ähnliche Objekte (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
Dynamic phasors to enable distributed real-time simulation
Blocking Optimality in Distributed Real-Time Locking Protocols
Validation of safety critical distributed real-time systems
Distributed real-time co-simulation as a service
Efficient persistence management in distributed real-time interactive applications
Reconciling fault-tolerant distributed algorithms and real-time computing
Distributed and Real-time Integrated Simulation System on Avionics
Integrated timing verification for distributed embedded real-time systems
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
Dynamic phasors to enable distributed real-time simulation
Blocking Optimality in Distributed Real-Time Locking Protocols
Validation of safety critical distributed real-time systems
Distributed real-time co-simulation as a service
Efficient persistence management in distributed real-time interactive applications
Reconciling fault-tolerant distributed algorithms and real-time computing
Distributed and Real-time Integrated Simulation System on Avionics
Integrated timing verification for distributed embedded real-time systems
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
Dynamic phasors to enable distributed real-time simulation
Blocking Optimality in Distributed Real-Time Locking Protocols
Validation of safety critical distributed real-time systems
Distributed real-time co-simulation as a service
Efficient persistence management in distributed real-time interactive applications
Reconciling fault-tolerant distributed algorithms and real-time computing
Distributed and Real-time Integrated Simulation System on Avionics