Verification of an audio control protocol within real time process algebra

Proceedings of the Workshop on Formal Methods in Software Practice

Volumn , Issue , 1998, Pages 70-77

  Chen, Liang ^a  

^a NORTEL NETWORKS   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; FORMAL LANGUAGES; MATHEMATICAL MODELS; REAL TIME SYSTEMS;

AUDIO CONTROL PROTOCOLS; FORMAL METHODS; REAL TIME PROCESS ALGEBRA;

NETWORK PROTOCOLS;

EID: 0031705232     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/298595.298860     Document Type: Conference Paper

References (16)