Alexandre Mouradian, Isabelle Augé-Blum. Formal verification of real-time wireless sensor networks protocols with realistic radio links. In Michel Auguin, Robert de Simone, Robert Davis, Emmanuel Grolleau, editors, 21st International Conference on Real-Time Networks and Systems, RTNS 2013, Sophia Antipolis, France, October 17-18, 2013. pages 213-222, ACM, 2013. [doi]
Abstract is missing.