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
Loading...
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
dc.contributor.contributor
Other contributor
Publication history
Halle (Saale), Germany : Agentur für Innovation in der Cybersicherheit GmbH, 2023
Content
1 Online-Ressource (91 Seiten, 1,8 MB)
Edition
Language
eng
Comment
Literaturverzeichnis: Seite 82-91
Abstract
Series
Ecosystem for trustworthy IT. Agentur für Innovation in der Cybersicherheit GmbH