Skip to main content

Probabilistic Model Checking of Contention Resolution in the IEEE 802.15.4 Low−Rate Wireless Personal Area Network Protocol

Matthias Fruth

Book Title
Proceedings of the 2nd International Symposium on Leveraging Applications of Formal Methods‚ Verification and Validation (ISoLA 2006)
Pages
290–297
Publisher
IEEE Computer Society
Year
2006