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

Kurzanzeige
cbs.date.changed26-03-05
cbs.date.creation26-03-05
cbs.publication.displayformHalle (Saale), Germany : Agentur für Innovation in der Cybersicherheit GmbH, 2023
dc.contributor.authorBeckert, Bernhard
dc.contributor.authorDenninger, Oliver
dc.contributor.authorKlamroth, Jonas
dc.contributor.authorScheerer, Max
dc.contributor.authorHenß, Jörg
dc.contributor.otherAgentur für Innovation in der Cybersicherheit
dc.date.accessioned2026-03-05T15:24:03Z
dc.date.issued2023
dc.description.noteLiteraturverzeichnis: Seite 82-91
dc.format.extent1 Online-Ressource (91 Seiten, 1,8 MB)
dc.identifier.ppn1963565843
dc.identifier.urihttps://epflicht.bibliothek.uni-halle.de/handle/123456789/117838
dc.identifier.urnurn:nbn:de:gbv:3:2-123456789-1178382
dc.language.isoeng
dc.publisherAgentur für Innovation in der Cybersicherheit GmbH, Halle (Saale), Germany
dc.relation.ispartofseriesEcosystem for trustworthy IT. Agentur für Innovation in der Cybersicherheit GmbH
dc.rights.urihttps://creativecommons.org/licenses/by-nc-nd/4.0/
dc.subject.ddc005.8
dc.titleFormal 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
dspace.entity.typeMonograph
local.accessrights.itemAnonymous
local.publication.countryXA-DE-ST

Dateien

Originalbündel
Gerade angezeigt 1 - 1 von 1
Vorschaubild
Name:
ÖvIT Vorstudien Los 1 Software.pdf
Größe:
1.8 MB
Format:
Adobe Portable Document Format
Beschreibung:
Formal verification of complex software systems
Herunterladen Formal verification of complex software systems

Sammlungen

E-Book