Formal verification of hardware-software-interfaces / Christoph Lüth, Dieter Hutter, Milan Funck, Jan Zielasko ; Herausgeberin: Agentur für Innovation in der Cybersicherheit GmbH
Download2.25 MB
Formal verification of hardware-software-interfaces Discovery
1963576322
URN
urn:nbn:de:gbv:3:2-123456789-1178400
DOI
ISBN
ISSN
Koordinaten
Skalierung
Autorin / Autor
Beiträger
Körperschaft
Erschienen
Halle (Saale), Germany : Agentur für Innovation in der Cybersicherheit GmbH, 2023
Umfang
1 Online-Ressource (51 Seiten, 2,25 MB)
Ausgabevermerk
Version 1.0 (Final Version), 31st January 2023
Sprache
eng
Anmerkungen
Literaturverzeichnis: Seite 28-50
Inhaltliche Zusammenfassung
Schriftenreihe
Ecosystem for trustworthy IT. Agentur für Innovation in der Cybersicherheit GmbH