|
[BM06]
Paolo Ballarini and Alice Miller.
Model Checking Medium Access Control for Sensor Networks.
In Proc. 2nd International Symposium on Leveraging Applications of Formal Methods (ISoLA'06), pages 255-262.
2006.
[Uses PRISM to verify S-MAC, a medium access control protocol for wireless sensor networks.]
|
|
Links:
[Google]
[Google Scholar]
|