Pages that link to "Item:Q2056982"
From MaRDI portal
The following pages link to Probabilistic model checking of AODV (Q2056982):
Displaying 5 items.
- Modelling and verifying the AODV routing protocol (Q324632) (← links)
- Tweaking the odds in probabilistic timed automata (Q832050) (← links)
- Model checking mobile ad hoc networks (Q2363813) (← links)
- Wired/Wireless Internet Communications (Q5307016) (← links)
- Formal Techniques for Networked and Distributed Systems – FORTE 2004 (Q5464480) (← links)