![]() | ![]() |
| 1993 | ||
|---|---|---|
| 3 | Wolfgang Jürgensen: IT Security Evaluation Improvement by Application of Testing. GI Jahrestagung 1993: 347-352 | |
| 1984 | ||
| 2 | Wolfgang Jürgensen, Son T. Vuong: CSP and CSP Nets: A Dual Model for Protocol Specification and Verification. PSTV 1984: 253-277 | |
| 1 | Wolfgang Jürgensen, Son T. Vuong: Formal specification and validation of ISO transport protocol components, using petri nets. Computer Communication Review 14(2): 75-82 (1984) | |
| 1 | Son T. Vuong | [1] [2] |
Data released under the ODC-BY 1.0 license — See also our legal information page