| SciPort RLP

Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

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

Autoren

Jürjens, Jan (Autor)

Verknüpfte Personen

Jan Jürjens
Mitarbeiter/in
(Institut für Softwaretechnik)

Beteiligte Einrichtungen