- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Saarbrücken, Universität des Saarlandes, Dissertation, 2018
- Classification
-
Informatik
- Keyword
-
Statische Analyse
Worst-Case-Laufzeit
Verifikation
- Event
-
Veröffentlichung
- (where)
-
Saarbrücken
- (who)
-
Saarländische Universitäts- und Landesbibliothek
- (when)
-
2018
- Creator
-
Montag, Pascal
- Contributor
-
Wilhelm, Reinhard
- DOI
-
10.22028/D291-27187
- URN
-
urn:nbn:de:bsz:291-scidok-ds-271876
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:41 PM CET
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
- Montag, Pascal
- Wilhelm, Reinhard
- Saarländische Universitäts- und Landesbibliothek
Time of origin
- 2018
Other Objects (12)
Pervasive verification of distributed real-time systems
Modular timing analysis of component-based real-time embedded systems
Safety Verification of Real-Time Control Systems with Flexible Timing
Safety verification of real-time control systems with flexible timing
Timing Constraints in Distributed Development of Automotive Real-time Systems
List scheduling algorithms for open distributed real-time embedded systems
Towards Source-Level Timing Analysis of Embedded Software Using Functional Verification Methods
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
A formal framework for optimizing the design of distributed real-time embedded systems
An aspect-oriented model-driven engineering approach for distributed embedded real-time systems
Pervasive verification of distributed real-time systems
Modular timing analysis of component-based real-time embedded systems
Safety Verification of Real-Time Control Systems with Flexible Timing
Safety verification of real-time control systems with flexible timing
Timing Constraints in Distributed Development of Automotive Real-time Systems
List scheduling algorithms for open distributed real-time embedded systems
Towards Source-Level Timing Analysis of Embedded Software Using Functional Verification Methods
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
A formal framework for optimizing the design of distributed real-time embedded systems
An aspect-oriented model-driven engineering approach for distributed embedded real-time systems
Pervasive verification of distributed real-time systems
Modular timing analysis of component-based real-time embedded systems
Safety Verification of Real-Time Control Systems with Flexible Timing
Safety verification of real-time control systems with flexible timing
Timing Constraints in Distributed Development of Automotive Real-time Systems
List scheduling algorithms for open distributed real-time embedded systems
Towards Source-Level Timing Analysis of Embedded Software Using Functional Verification Methods
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
A formal framework for optimizing the design of distributed real-time embedded systems