Security Certification in the Presence of Evolution: Models vs. Code; Keynote Speaker of SaFoMe 2014
Carlos Canal;Akram Idani (Hrsg). Software Engineering and Formal Methods: SEFM 2014 Collocated Workshops: HOFM, SaFoMe, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2015 S. XIX - XX
Erscheinungsjahr: 2015
ISBN/ISSN: 978-3-319-15200-4
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
Doi/URN: 10.1007/978-3-319-15201-1
| Geprüft: | Bibliothek |
Autoren
Jürjens, Jan (Autor)
