Options
2014
Presentation
Title
Security Certification in the Presence of Evolution: Models vs. Code
Title Supplement
Presentation held at 1st International Workshop on Safety and Formal Methods, SaFoMe@SEFM 2014, 1st September 2014, Grenoble
Fraunhofer-Gesellschaft