Pages that link to "Item:Q2948247"
From MaRDI portal
The following pages link to Model Checking MANETs with Arbitrary Mobility (Q2948247):
Displaying 5 items.
- 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)
- Model checking mobile ad hoc networks (Q2363813) (← links)
- Formal Analysis of Leader Election in MANETs Using Real-Time Maude (Q5256351) (← links)