Hochschulschrift
Efficient modeling, verification and analysis techniques to enhance the virtual prototype based design flow for embedded systems
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
21 cm
- Umfang
-
iv, 286 Seiten
- Sprache
-
Englisch
- Anmerkungen
-
Diagramme
Universität Bremen, Dissertation, 2019
- Klassifikation
-
Elektrotechnik, Elektronik
Informatik
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
- 11.06.2025, 11:50 UTC
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
Entstanden
- Dezember 2019
Ähnliche Objekte (12)
Virtual prototype centric verification for embedded system development
Enhanced modern virtual prototype based verification flow for heterogeneous systems
Self-Verification - Verification of Embedded Systems after Deployment
Optimized hybrid verification of embedded software
Formal Verification of Concurrent Embedded Software
Formal Verification of Concurrent Embedded Software
Verification of temporal properties in embedded software
Embedded systems: design, analysis and verification : proceedings
Runtime verification of embedded real-time systems
Low complexity embedded fingerprint verification and identification system
Integrated timing verification for distributed embedded real-time systems
Formal Hardware/Firmware Co-Verification of Optimized Embedded Systems
Virtual prototype centric verification for embedded system development
Enhanced modern virtual prototype based verification flow for heterogeneous systems
Self-Verification - Verification of Embedded Systems after Deployment
Optimized hybrid verification of embedded software
Formal Verification of Concurrent Embedded Software
Formal Verification of Concurrent Embedded Software
Verification of temporal properties in embedded software
Embedded systems: design, analysis and verification : proceedings
Runtime verification of embedded real-time systems
Low complexity embedded fingerprint verification and identification system
Integrated timing verification for distributed embedded real-time systems
Formal Hardware/Firmware Co-Verification of Optimized Embedded Systems
Virtual prototype centric verification for embedded system development
Enhanced modern virtual prototype based verification flow for heterogeneous systems
Self-Verification - Verification of Embedded Systems after Deployment
Optimized hybrid verification of embedded software
Formal Verification of Concurrent Embedded Software
Formal Verification of Concurrent Embedded Software
Verification of temporal properties in embedded software
Embedded systems: design, analysis and verification : proceedings
Runtime verification of embedded real-time systems
Low complexity embedded fingerprint verification and identification system
Integrated timing verification for distributed embedded real-time systems