Formal verification of complex software systems : a study / Bernhard Beckert, Oliver Denninger, Jonas Klamroth, Max Scheerer, Jörg Henß ; Herausgeberin: Agentur für Innovation in der Cybersicherheit GmbH
Download1.8 MB
Formal verification of complex software systems Discovery
1963565843
URN
urn:nbn:de:gbv:3:2-123456789-1178382
DOI
ISBN
ISSN
Koordinaten
Skalierung
Beiträger
Körperschaft
Erschienen
Halle (Saale), Germany : Agentur für Innovation in der Cybersicherheit GmbH, 2023
Umfang
1 Online-Ressource (91 Seiten, 1,8 MB)
Ausgabevermerk
Sprache
eng
Anmerkungen
Literaturverzeichnis: Seite 82-91
Inhaltliche Zusammenfassung
Schriftenreihe
Ecosystem for trustworthy IT. Agentur für Innovation in der Cybersicherheit GmbH