Login / Signup
Implementing OSI Communication Protocols - A Systematic Approach to Derive SDL-Implementation Specifications from Global Protocol Specifications.
Heinz Jürgen Burkhardt
Hans Eckert
Rainer Prinoth
Published in:
ICCC (1986)
Keyphrases
</>
protocol specification
communication protocols
formal specification
communication protocol
specification language
formal methods
information systems
transformation rules
state machines
efficient implementation
communication networks