Formalizing Mobile Ad Hoc and Sensor Networks Using VDM-SL.

Shehla Riaz, Hamra Afzaal, Muhammad Imran, Nazir Ahmad Zafar, Mehmet Sabih Aksoy

Browse the full EUSPN paper archive.