SDL based protocol engineering and visualization for education: ISDN Q.931 case study
Dokumenttyp:
Konferenzbeitrag
Art des Konferenzbeitrags:
Textbeitrag / Aufsatz
Autor(en):
Kellerer, Wolfgang; Autenrieth, Achim; Iselt, Andreas
Kongress- / Buchtitel:
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)