Application of parametric model checking-The root contention protocol

Proceedings of the Hawaii International Conference on System Sciences

Volumn , Issue , 2001, Pages 290-

  Bandini, G ^a   Spelberg, R ^a   De Rooij, R ^b   Toetenel, W ^b  

^a UNIVERSITY OF FLORENCE   (Italy)

^b DELFT UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

Real time systems; Specification; Verification

Indexed keywords

CODES (STANDARDS); RANDOM PROCESSES; REAL TIME SYSTEMS;

ROOT CONTENTION PROTOCOL;

NETWORK PROTOCOLS;

EID: 0034966038     PISSN: 10603425     EISSN: None     Source Type: Journal    
DOI: 10.1109/HICSS.2001.927265     Document Type: Article

References (0)