Incremental Security Verification for Evolving UMLsec models.
ECMFA. 2011 S. 52 - 68
Erscheinungsjahr: 2011
Publikationstyp: Zeitschriftenaufsatz
Geprüft | Bibliothek |
ECMFA. 2011 S. 52 - 68
Erscheinungsjahr: 2011
Publikationstyp: Zeitschriftenaufsatz
Geprüft | Bibliothek |