|
[MF06]
Annabelle McIver and Ansgar Fehnker.
Formal Techniques for the Analysis of Wireless Networks.
In Proc. 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA'06), pages 263–270.
2006.
[Applies various formal verification techniques to wireless networks, including probabilistic model checking with PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|