Formal Development and Verification of Security-Critical Systems with UML. In Workshop on Automated Verification of Critical Systems AVoCS 2001; 19. - 21. April, 2001; Oxford: Published as OUCL Technical Report PRG-RR-01-07
Workshop on Automated Verification of Critical Systems (AVoCS 2001). Oxford. 2001 S. 1 - 4
Erscheinungsjahr: 2001
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
| Geprüft | Bibliothek |
