Pages that link to "Item:Q2363813"
From MaRDI portal
The following pages link to Model checking mobile ad hoc networks (Q2363813):
Displaying 8 items.
- Modeling and verifying ad hoc routing protocols (Q462483) (← links)
- Verification of mobile ad hoc networks: an algebraic approach (Q549194) (← links)
- Modeling and analyzing mobile ad hoc networks in Real-Time Maude (Q730472) (← links)
- Modeling and efficient verification of wireless ad hoc networks (Q1688557) (← links)
- Probabilistic model checking of AODV (Q2056982) (← links)
- Formal verification of mobile robot protocols (Q2359768) (← links)
- Model Checking MANETs with Arbitrary Mobility (Q2948247) (← links)
- A Nitpick analysis of Mobile IPv6 (Q5938661) (← links)