Model-based Security Verification for Evolving Systems
Jens Knoop;Uwe Zdun (Hrsg). Software Engineering 2016: Fachtagung des GI-Fachbereichs Softwaretechnik; 23.-26. Februar 2016 Wien, Proceedings. Bonn: Gesellschaft für Informatik 2016 S. 91 - 92
Erscheinungsjahr: 2016
ISBN/ISSN: 978-3-88579-646-6
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
Inhaltszusammenfassung
Autoren
Jürjens, Jan (Autor)
Wenzel, Sven (Autor)
Poggenpohl, Daniel (Autor)
Ochoa, Martín (Autor)