Formal Analysis of a Scheduling Algorithm for Wireless Sensor Networks.

Maissa Elleuch, Osman Hasan, Sofine Tahar, Mohamed Abid

Browse the full ICFEM paper archive.