Probabilistic Model Checking of Deadline Properties in the IEEE 1394 FireWire Root Contention Protocol

✍ Scribed by Marta Kwiatkowska; Gethin Norman; Jeremy Sproston

• Publisher: Springer
• Year: 2003
• Tongue: English
• Weight: 256 KB
• Volume: 14
• Category: Article
• ISSN: 0934-5043
• DOI: 10.1007/s001650300007