Pages that link to "Item:Q324632"
From MaRDI portal
The following pages link to Modelling and verifying the AODV routing protocol (Q324632):
Displaying 7 items.
- Modeling and verifying ad hoc routing protocols (Q462483) (← links)
- Modeling and efficient verification of wireless ad hoc networks (Q1688557) (← links)
- Probabilistic model checking of AODV (Q2056982) (← links)
- Depletable channels: dynamics, behaviour, and efficiency in network design (Q2422775) (← links)
- Trading Plaintext-Awareness for Simulatability to Achieve Chosen Ciphertext Security (Q2798768) (← links)
- A Timed Process Algebra for Wireless Networks with an Application in Routing (Q2802472) (← links)
- Analysing AWN-Specifications Using mCRL2 (Extended Abstract) (Q6162221) (← links)