Formal Hardware/Firmware Co-Verification of Optimized Embedded Systems

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
Online-Ressource
Sprache
Englisch
Anmerkungen
Kaiserslautern, Technische Universität Kaiserslautern, Dissertation, 2021

Schlagwort
Hardware

Ereignis
Veröffentlichung
(wo)
Kaiserslautern
(wer)
Technische Universität Kaiserslautern
(wann)
2021
Urheber
Beteiligte Personen und Organisationen
Kunz, Wolfgang

URN
urn:nbn:de:hbz:386-kluedo-65620
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
15.08.2025, 07:27 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Beteiligte

Entstanden

  • 2021

Ähnliche Objekte (12)