Modeling and Analyzing the Corona-Virus Warning App with the Isabelle Infrastructure Framework.

Florian Kammüller Bianca Lutz

Published in: DPM/CBT@ESORICS (2020)

Keyphrases

case study
modeling framework
theoretical framework
main contribution
search engine
social networks
probabilistic model
software architecture
third party
modeling method