Formal verification of hardware-software-interfaces / Christoph Lüth, Dieter Hutter, Milan Funck, Jan Zielasko ; Herausgeberin: Agentur für Innovation in der Cybersicherheit GmbH
Loading...
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
dc.contributor.contributor
Other contributor
Publication history
Halle (Saale), Germany : Agentur für Innovation in der Cybersicherheit GmbH, 2023
Content
1 Online-Ressource (51 Seiten, 2,25 MB)
Edition
Version 1.0 (Final Version), 31st January 2023
Language
eng
Comment
Literaturverzeichnis: Seite 28-50
Abstract
Series
Ecosystem for trustworthy IT. Agentur für Innovation in der Cybersicherheit GmbH