Model-Based Security Engineering for Real
Jayadev Misra; Tobias Nipkow; Emil Sekerinski (Hrsg). FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings. Berlin: Springer 2006 S. 600 - 606
Erscheinungsjahr: 2006
ISBN/ISSN: 978-3-540-37215-8
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
Doi/URN: 10.1007/11813040_42
| Geprüft | Bibliothek |
