A simulation technique for communications protocols based on a formal specification by SDL - researchr publication

researchr

You are not signed in
Sign in
Sign up

W. Fischer, Klaus Sauer, W. Denzel. A simulation technique for communications protocols based on a formal specification by SDL. In Michel Diaz, editor, Protocol Specification, Testing and Verification V, Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification, Toulouse-Moissac, France, June 10-13, 1985. pages 333-347, North-Holland, 1985.

Abstract is missing.

runs on WebDSL