Markus Tasch und Oliver Bracevac - Info zur Person

(1 - 6 von 6

)

Markus Tasch - Archive of Formal Proofsafp.theoremproving.org › authors › markus-tasch

afp.theoremproving.org

... of the Modular Assembly Kit for Security Properties by Oliver Bračevac, Richard Gay, Sylvia Grewe, Heiko Mantel, Henning Sudbrock and Markus Tasch. 07 May.

Henning Sudbrock - DBLPdblp.uni-trier.de › Persons

dblp.uni-trier.de

— Oliver Bracevac, Richard Gay, Sylvia Grewe, Heiko Mantel, Henning Sudbrock, Markus Tasch: An Isabelle/HOL Formalization of the Modular ...

Modeling and Analysis of Information Systems » Publicationswww.mais.informatik.tu-darmstadt.de › Heiko_Mantel_Publications

www.mais.informatik.tu-darmstadt.de

Oliver Bracevac, Richard Gay, Sylvia Grewe, Heiko Mantel, Henning Sudbrock and Markus Tasch. An Isabelle/HOL Formalization of the Modular Assembly Kit for ...

[PDF] I-MAKS A Framework for Information-Flow Security in Isabelle /...

www.semanticscholar.org

One Citation · Oliver Bracevac, Richard Gay, Sylvia Grewe, H. Mantel, Henning Sudbrock, Markus Tasch · Computer Science. Arch. Formal Proofs ·

Oliver Bracevac - researchr alias

researchr.org

... Modular Assembly Kit for Security PropertiesOliver Bracevac, Richard Gay, Sylvia Grewe, Heiko Mantel, Henning Sudbrock, Markus Tasch. afp, 2018,

Dr. Oliver Bračevac | Publications

bracevac.org

Oliver Bračevac, Richard Gay, Sylvia Grewe, Heiko Mantel, Henning Sudbrock, and Markus Tasch. Archive of Formal Proofs

Alle Infos zum Namen "Markus Tasch"

Verwandte Suchanfragen zu Markus Tasch

Oliver Bracevac
Tobias Hamann
Leander Tentrup

Helmut Seidl
Martin Mohr
Sylvia Grewe

Christian Müller
Peter Lammich
Markus Rabe

Person "Tasch" (3)
Vorname "Markus" (61377)
Name "Tasch" (251)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z