- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Bremen, Universität Bremen, Dissertation, 2021
- Schlagwort
-
Eingebettetes System
Verifikation
Systementwurf
Model Checking
Formale Methode
- Ereignis
-
Veröffentlichung
- (wo)
-
Bremen
- (wer)
-
Staats- und Universitätsbibliothek Bremen
- (wann)
-
2021
- Urheber
-
Ring, Martin
- Beteiligte Personen und Organisationen
- DOI
-
10.26092/elib/2900
- URN
-
urn:nbn:de:gbv:46-elib78188
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:54 MEZ
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
- Ring, Martin
- Lüth, Christoph
- Fränzle, Martin
- Staats- und Universitätsbibliothek Bremen
Entstanden
- 2021
Ähnliche Objekte (12)
Formal Verification of Concurrent Embedded Software
Optimized hybrid verification of embedded software
Formal Verification of Concurrent Embedded Software
Deployment and empirical verification of real-time schedules
Embedded systems: design, analysis and verification : proceedings
Verification of temporal properties in embedded software
Virtual prototype centric verification for embedded system development
Low complexity embedded fingerprint verification and identification system
Verification
Integrated timing verification for distributed embedded real-time systems
Formal Hardware/Firmware Co-Verification of Optimized Embedded Systems
An environment for compositional specification verification of complex embedded systems
Formal Verification of Concurrent Embedded Software
Optimized hybrid verification of embedded software
Formal Verification of Concurrent Embedded Software
Deployment and empirical verification of real-time schedules
Embedded systems: design, analysis and verification : proceedings
Verification of temporal properties in embedded software
Virtual prototype centric verification for embedded system development
Low complexity embedded fingerprint verification and identification system
Verification
Integrated timing verification for distributed embedded real-time systems
Formal Hardware/Firmware Co-Verification of Optimized Embedded Systems
An environment for compositional specification verification of complex embedded systems
Formal Verification of Concurrent Embedded Software
Optimized hybrid verification of embedded software
Formal Verification of Concurrent Embedded Software
Deployment and empirical verification of real-time schedules
Embedded systems: design, analysis and verification : proceedings
Verification of temporal properties in embedded software
Virtual prototype centric verification for embedded system development
Low complexity embedded fingerprint verification and identification system
Verification
Integrated timing verification for distributed embedded real-time systems
Formal Hardware/Firmware Co-Verification of Optimized Embedded Systems