TU Darmstadt / ULB / TUbiblio

An Isabelle/HOL Formalization of the Modular Assembly Kit for Security Properties

Bračevac, Oliver ; Gay, Richard ; Grewe, Sylvia ; Mantel, Heiko ; Sudbrock, Henning ; Tasch, Markus (2018)
An Isabelle/HOL Formalization of the Modular Assembly Kit for Security Properties.
In: Archive of Formal Proofs, 2018
Artikel, Bibliographie

Typ des Eintrags: Artikel
Erschienen: 2018
Autor(en): Bračevac, Oliver ; Gay, Richard ; Grewe, Sylvia ; Mantel, Heiko ; Sudbrock, Henning ; Tasch, Markus
Art des Eintrags: Bibliographie
Titel: An Isabelle/HOL Formalization of the Modular Assembly Kit for Security Properties
Sprache: Englisch
Publikationsjahr: 7 Mai 2018
Titel der Zeitschrift, Zeitung oder Schriftenreihe: Archive of Formal Proofs
Jahrgang/Volume einer Zeitschrift: 2018
Zugehörige Links:
Fachbereich(e)/-gebiet(e): 20 Fachbereich Informatik
20 Fachbereich Informatik > Softwaretechnik
Hinterlegungsdatum: 12 Apr 2019 11:43
Letzte Änderung: 12 Apr 2019 11:43
PPN:
Export:
Suche nach Titel in: TUfind oder in Google
Frage zum Eintrag Frage zum Eintrag

Optionen (nur für Redakteure)
Redaktionelle Details anzeigen Redaktionelle Details anzeigen