Starten Sie Ihre Suche...


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

Automated Verification of UMLsec Models for Security Requirements.

UML. 2004 S. 365 - 379

Erscheinungsjahr: 2004

Publikationstyp: Zeitschriftenaufsatz

GeprüftBibliothek

Autoren

Jürjens, Jan (Autor)
Shabalin, Pasha (Autor)

Verknüpfte Personen

Jan Jürjens

Beteiligte Einrichtungen

Logo Institut für Softwaretechnik