Formal verification of real-time wireless sensor networks protocols with realistic radio links.

Alexandre Mouradian, Isabelle Aug-Blum

Browse the full RTNS paper archive.