Model-centric Security Verification subject to Evolution (Invited Talk)
2013
Erscheinungsjahr: 2013
Publikationstyp: Diverses
Sprache: Englisch
| Geprüft: | Bibliothek |
2013
Erscheinungsjahr: 2013
Publikationstyp: Diverses
Sprache: Englisch
| Geprüft: | Bibliothek |