- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Kiel, Christian-Albrechts-Universität, Dissertation, 2015
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
Kiel
- (wer)
-
Universitätsbibliothek Kiel
- (wann)
-
2016
- Urheber
- URN
-
urn:nbn:de:gbv:8-diss-186183
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:46 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
- Traub, Johannes Frederik Jesper
- Universitätsbibliothek Kiel
Entstanden
- 2016
Ähnliche Objekte (12)
Formal Verification of Concurrent Embedded Software
Supervised testing of embedded concurrent software
Optimized hybrid verification of embedded software
Verification of temporal properties in embedded software
Three Early Formal Approaches to the Verification of Concurrent Programs
A framework for embedded software portability and verification: from formal models to low-level code
Formal Hardware/Firmware Co-Verification of Optimized Embedded Systems
Towards cooperative software verification with test generation and formal verification
Correction: A framework for embedded software portability and verification: from formal models to low-level code
Formal Verification of Industrial Software and Neural Networks
Symbolic methods for formal verification of industrial control software
On the formal foundation of a verification approach for system-level concurrent programs
Formal Verification of Concurrent Embedded Software
Supervised testing of embedded concurrent software
Optimized hybrid verification of embedded software
Verification of temporal properties in embedded software
Three Early Formal Approaches to the Verification of Concurrent Programs
A framework for embedded software portability and verification: from formal models to low-level code
Formal Hardware/Firmware Co-Verification of Optimized Embedded Systems
Towards cooperative software verification with test generation and formal verification
Correction: A framework for embedded software portability and verification: from formal models to low-level code
Formal Verification of Industrial Software and Neural Networks
Symbolic methods for formal verification of industrial control software
On the formal foundation of a verification approach for system-level concurrent programs
Formal Verification of Concurrent Embedded Software
Supervised testing of embedded concurrent software
Optimized hybrid verification of embedded software
Verification of temporal properties in embedded software
Three Early Formal Approaches to the Verification of Concurrent Programs
A framework for embedded software portability and verification: from formal models to low-level code
Formal Hardware/Firmware Co-Verification of Optimized Embedded Systems
Towards cooperative software verification with test generation and formal verification
Correction: A framework for embedded software portability and verification: from formal models to low-level code
Formal Verification of Industrial Software and Neural Networks
Symbolic methods for formal verification of industrial control software