Browse by Journal

See full list of headings
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Authors/Editors | Item Type | No Grouping
Jump to: H | K
Number of items: 3.

H

Helke, Steffen and Kammueller, Florian ORCID logoORCID: https://orcid.org/0000-0001-5839-5488 (2010) Formalizing statecharts using hierarchical automata. Archive of Formal Proof . ISSN 2150-914X [Article]

Henrio, Ludovic, Kammueller, Florian ORCID logoORCID: https://orcid.org/0000-0001-5839-5488, Lutz, Bianca and Sudhof, Henry (2010) Locally nameless sigma calculus. Archive of Formal Proof . ISSN 2150-914X [Article]

K

Kammueller, Florian ORCID logoORCID: https://orcid.org/0000-0001-5839-5488 (2020) Attack Trees in Isabelle for GDPR compliance of IoT healthcare systems. Archive of Formal Proof . ISSN 2150-914X [Article] (Accepted/In press)

This list was generated on Mon Sep 25 02:59:58 2023 BST.