Security Certification in the Presence of Evolution: Models vs. Code (Keynote)
International Workshop on Safety and Formal Methods (SaFoMe@SEFM 2014). 2014
Erscheinungsjahr: 2014
Publikationstyp: Buchbeitrag (Konferenzbeitrag)
| Geprüft: | Bibliothek |
International Workshop on Safety and Formal Methods (SaFoMe@SEFM 2014). 2014
Erscheinungsjahr: 2014
Publikationstyp: Buchbeitrag (Konferenzbeitrag)
| Geprüft: | Bibliothek |
