A Formal Model for the Chain-Branch-Leaf Clustering Scheme in OLSR based Vehicular Ad hoc Networks using Event-B.

Emna Chebbi, Patrick Sondi, ric Ramat

Browse the full ANT paper archive.