Using formal specification and observers to specify and validate the ATM signaling protocols

Conference on Local Computer Networks

Volumn , Issue , 1999, Pages 117-120

  Atwood, J William ^a   Ghodrat, Morteza ^a   Tasak, Dariusz ^a  

^a Dept of Electrical and Computer Engineering   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ASYNCHRONOUS TRANSFER MODE; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SIMULATION; MULTIMEDIA SYSTEMS; TELECOMMUNICATION TRAFFIC;

ASYNCHRONOUS TRANSFER MODE SIGNALING PROTOCOLS; ESTELLE FORMAL DESCRIPTION LANGUAGE; SERVICE SPECIFIC CONNECTION ORIENTED PROTOCOL;

NETWORK PROTOCOLS;

EID: 0033355188     PISSN: 07421303     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (13)