Tools for Secure Systems Development with UML: Security Analysis with ATPs
Maura Cerioli (Hrsg). Fundamental Approaches to Software Engineering: 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings. Berlin: Springer 2005 S. 305 - 309 (Lecture Notes in Computer Science)
Erscheinungsjahr: 2005
ISBN/ISSN: 978-3-540-25420-1
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
Doi/URN: 10.1007/978-3-540-31984-9_23
| Geprüft | Bibliothek |
