| SciPort RLP

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

Model-centric Security Verification subject to Evolution (Invited Talk)

2013

Erscheinungsjahr: 2013

Publikationstyp: Diverses

Sprache: Englisch

Geprüft

Bibliothek

Autoren

Jürjens, Jan (Autor)

Verknüpfte Personen

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

Beteiligte Einrichtungen

Institut für Informatik
(Universität Koblenz)