Probabilistic Model Checking of Contention Resolution in the IEEE 802.15.4 Low−Rate Wireless Personal Area Network Protocol
Matthias Fruth
Details
| 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 |
Links
Related pages
|
People |