Wolfgang Jürgensen

Publication Activity (10 Years)

Years Active: 1984-1993
Publications (10 Years): 0

Karlsruhe Institute of Technology, Germany (PHD)

Education History

Karlsruhe Institute of Technology, Germany

PHD

Publications

Wolfgang Jürgensen
IT Security Evaluation Improvement by Application of Testing. GI Jahrestagung (1993)
Wolfgang Jürgensen, Son T. Vuong
CSP and CSP Nets: A Dual Model for Protocol Specification and Verification. PSTV (1984)
Wolfgang Jürgensen, Son T. Vuong
Formal specification and validation of ISO transport protocol components, using petri nets. Comput. Commun. Rev. 14 (2) (1984)