Automated Verification of UMLsec Models for Security Requirements.
UML. 2004 S. 365 - 379
Erscheinungsjahr: 2004
Publikationstyp: Zeitschriftenaufsatz
Geprüft | Bibliothek |
UML. 2004 S. 365 - 379
Erscheinungsjahr: 2004
Publikationstyp: Zeitschriftenaufsatz
Geprüft | Bibliothek |