Validation of SDL systems

Computer Networks

Volumn 28, Issue 12, 1996, Pages 1659-1667

  Hogrefe, Dieter ^a  

^a UNIVERSITY OF LÜBECK   (Germany)

Author keywords

FDT; Protocols; SDL; Services; Specification; Validation; Verification

Indexed keywords

EID: 0041706800     PISSN: 13891286     EISSN: None     Source Type: Journal    
DOI: 10.1016/0169-7552(95)00124-7     Document Type: Article

References (4)

1. ETSI, Initial Studies on Validation, ETSI Technical Report 184, 1995.
2. J. Grabowski, D. Hogrefe and D. Toggweiler, Partial order simulation of SDL specifications, in: SDL Forum 1995, North-Holland, Amsterdam (1995).
3. G. Holzman, Design and Validation of Computer Protocols, Prentice-Hall, Englewood Cliffs, N.J. (1991).
4. C. West, Protocol validation, Comput. Networks ISDN Systems 24 (1992).