Incremental Security Verification for Evolving UMLsec models
Robert B. France; Jochen M. Kuester; Behzad Bordbar; Richard F. Paige (Hrsg). Modelling Foundations and Applications: 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings. Berlin: Springer 2011 S. 52 - 68
Erscheinungsjahr: 2011
ISBN/ISSN: 978-3-642-21469-1
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
Doi/URN: 10.1007/978-3-642-21470-7_5
| Geprüft | Bibliothek |
