Benutzer: Gast  Login
Autor(en):
J̈urjens, J.; Shabalin, P. 
Titel:
Automated Verification of UMLsec Models for Security Requirements 
Stichworte:
Publikationen in Zeitschriften mit Reviewverfahren 
Kongress- / Buchtitel:
7th International UML Conference on Unified Modeling Language 
Verlagsort:
Lisbon, Portugal 
Jahr:
2004