collaborators

1 paper

cs.NI2025

Formal Methods for Mobile Ad Hoc Networks: A Survey

Wan Fokkink, Rob van Glabbeek

In a mobile ad hoc network (MANET), communication is wireless and nodes can move independently. Properly analyzing the functional correctness, performance, and security of MANET pr…