Pages that link to "Item:Q2948247"
From MaRDI portal
The following pages link to Model Checking MANETs with Arbitrary Mobility (Q2948247):
Displayed 4 items.
- 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)