Formal verification of a TDMA protocol start-up mechanism

Proceedings of the Pacific Rim International Symposium on Fault Tolerant Systems, PRFTS

Volumn , Issue , 1997, Pages 235-241

  Lonn, H ^a   Pettersson, P ^a  

^a CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER SIMULATION; COMPUTER SOFTWARE; ERROR ANALYSIS; MODELS; SYNCHRONIZATION; TIME DIVISION MULTIPLEXING;

STARTUP ALGORITHMS;

NETWORK PROTOCOLS;

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

References (11)