Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Security Certification in the Presence of Evolution: Models vs. Code

Presentation held at 1st International Workshop on Safety and Formal Methods, SaFoMe@SEFM 2014, 1st September 2014, Grenoble
 
: Jürjens, Jan

:
presentation urn:nbn:de:0011-n-3070386 (1.3 MByte PDF)
MD5 Fingerprint: bc14ec5b04d85510794aa63fbf60270e
Created on: 17.9.2014


2014, 29 Folien
International Workshop on Safety and Formal Methods (SaFoMe) <1, 2014, Grenoble>
International Conference on Software Engineering and Formal Methods (SEFM) <12, 2014, Grenoble>
English
Presentation, Electronic Publication
Fraunhofer ISST ()

: http://publica.fraunhofer.de/documents/N-307038.html