- Alternative title
-
Vertrauenswürdige Verifikation von Echtzeitsystemen
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
München, Technische Universität München, Dissertation, 2020
- Event
-
Veröffentlichung
- (where)
-
München
- (who)
-
Universitätsbibliothek der TU München
- (when)
-
2020
- Creator
-
Wimmer, Simon
- Contributor
-
Nipkow, Tobias
van de Pol, Jaco
- URN
-
urn:nbn:de:bvb:91-diss-20201209-1576100-1-0
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:24 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.
Associated
- Wimmer, Simon
- Nipkow, Tobias
- van de Pol, Jaco
- Universitätsbibliothek der TU München
Time of origin
- 2020
Other Objects (12)
Towards Trustworthy Systems - Formal Verification of the seL4 Operating System Kernel
Towards Trustworthy Systems - Formal Verification of the seL4 Operating System Kernel
Runtime verification of embedded real-time systems
Mechanical Verification of Parameterized Real-Time Systems
Pervasive verification of distributed real-time systems
Verification of real-time systems through lazy approximations
Specification and verification of mobile real-time systems
Verification architectures for complex real-time systems
Formal verification of a small real-time operating system
Safety verification of real-time control systems with flexible timing
Safety Verification of Real-Time Control Systems with Flexible Timing
Automated Invariant Generation for the Verification of Real-Time Systems
Towards Trustworthy Systems - Formal Verification of the seL4 Operating System Kernel
Towards Trustworthy Systems - Formal Verification of the seL4 Operating System Kernel
Runtime verification of embedded real-time systems
Mechanical Verification of Parameterized Real-Time Systems
Pervasive verification of distributed real-time systems
Verification of real-time systems through lazy approximations
Specification and verification of mobile real-time systems
Verification architectures for complex real-time systems
Formal verification of a small real-time operating system
Safety verification of real-time control systems with flexible timing
Safety Verification of Real-Time Control Systems with Flexible Timing
Automated Invariant Generation for the Verification of Real-Time Systems
Towards Trustworthy Systems - Formal Verification of the seL4 Operating System Kernel
Towards Trustworthy Systems - Formal Verification of the seL4 Operating System Kernel
Runtime verification of embedded real-time systems
Mechanical Verification of Parameterized Real-Time Systems
Pervasive verification of distributed real-time systems
Verification of real-time systems through lazy approximations
Specification and verification of mobile real-time systems
Verification architectures for complex real-time systems
Formal verification of a small real-time operating system
Safety verification of real-time control systems with flexible timing
Safety Verification of Real-Time Control Systems with Flexible Timing