SDL based protocol engineering and visualization for education: ISDN Q.931 case study
Document type:
Konferenzbeitrag
Contribution type:
Textbeitrag / Aufsatz
Author(s):
Kellerer, Wolfgang; Autenrieth, Achim; Iselt, Andreas
Book / Congress title:
FORTE/PSTV 1998 - Tutorials/ECASP, International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII)