Author of the publication

Implementing OSI Communication Protocols - A Systematic Approach to Derive SDL-Implementation Specifications from Global Protocol Specifications.

, , and . ICCC, page 531-536. International Council for Computer Communication / Elsevier, (1986)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Testing of protocol implementations. A systematic approach to derivation of test sequences form global protocol specifications., , and . PSTV, page 461-481. North-Holland, (1985)A Computation-System Based Method for Automated Proving of Protocols Against Services., and . Protocol Specification, Testing, and Verification, page 213-228. North-Holland, (1983)Benutzerschnittstelle des PIX End-zu-End Protokolls.. Kommunikation in Verteilten Systemen, volume 22 of Informatik-Fachberichte, page 87-109. Springer, (1979)From Protocol Specification to Implementation and Test., and . Networking in Open Systems, volume 248 of Lecture Notes in Computer Science, page 373-399. Springer, (1986)Modelling of OSI-Communication Services and Protocols Using Predicate/Transition Nets., , and . PSTV, page 165-192. North-Holland, (1984)Modellierung von OSI-Kommunikationsdiensten und Protokollen mit Hilfe von Prädikat-Transitionsnetzen., , and . Kommunikation in Verteilten Systemen (1), volume 95 of Informatik-Fachberichte, page 610-645. Springer, (1985)Implementing OSI Communication Protocols - A Systematic Approach to Derive SDL-Implementation Specifications from Global Protocol Specifications., , and . ICCC, page 531-536. International Council for Computer Communication / Elsevier, (1986)Ein mathematisches Verfahren zur automatisierten Verifikation von Kommunikationsprotokollen.. University of Bonn, Germany, (1985)