- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Saarbrücken, Universität des Saarlandes, Dissertation, 2018
- Klassifikation
-
Informatik
- Schlagwort
-
Statische Analyse
Worst-Case-Laufzeit
Verifikation
- Ereignis
-
Veröffentlichung
- (wo)
-
Saarbrücken
- (wer)
-
Saarländische Universitäts- und Landesbibliothek
- (wann)
-
2018
- Urheber
-
Montag, Pascal
- Beteiligte Personen und Organisationen
-
Wilhelm, Reinhard
- DOI
-
10.22028/D291-27187
- URN
-
urn:nbn:de:bsz:291-scidok-ds-271876
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:22 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
- Montag, Pascal
- Wilhelm, Reinhard
- Saarländische Universitäts- und Landesbibliothek
Entstanden
- 2018
Ähnliche Objekte (12)
Runtime verification of embedded real-time systems
Pervasive verification of distributed real-time systems
Property-based timing analysis of distributed real-time systems
Safety verification of real-time control systems with flexible timing
Safety Verification of Real-Time Control Systems with Flexible Timing
Modular timing analysis of component-based real-time embedded systems
Towards Source-Level Timing Analysis of Embedded Software Using Functional Verification Methods
Timing Constraints in Distributed Development of Automotive Real-time Systems
List scheduling algorithms for open distributed real-time embedded systems
A survey of timing verification techniques for multi-core real-time systems
Specification and seamless verification of embedded real-time systems : FOCUS on Isabelle
Self-Verification - Verification of Embedded Systems after Deployment
Runtime verification of embedded real-time systems
Pervasive verification of distributed real-time systems
Property-based timing analysis of distributed real-time systems
Safety verification of real-time control systems with flexible timing
Safety Verification of Real-Time Control Systems with Flexible Timing
Modular timing analysis of component-based real-time embedded systems
Towards Source-Level Timing Analysis of Embedded Software Using Functional Verification Methods
Timing Constraints in Distributed Development of Automotive Real-time Systems
List scheduling algorithms for open distributed real-time embedded systems
A survey of timing verification techniques for multi-core real-time systems
Specification and seamless verification of embedded real-time systems : FOCUS on Isabelle
Self-Verification - Verification of Embedded Systems after Deployment
Runtime verification of embedded real-time systems
Pervasive verification of distributed real-time systems
Property-based timing analysis of distributed real-time systems
Safety verification of real-time control systems with flexible timing
Safety Verification of Real-Time Control Systems with Flexible Timing
Modular timing analysis of component-based real-time embedded systems
Towards Source-Level Timing Analysis of Embedded Software Using Functional Verification Methods
Timing Constraints in Distributed Development of Automotive Real-time Systems
List scheduling algorithms for open distributed real-time embedded systems
A survey of timing verification techniques for multi-core real-time systems
Specification and seamless verification of embedded real-time systems : FOCUS on Isabelle