Pages that link to "Item:Q3455541"
From MaRDI portal
The following pages link to Formal verification of standards for distance vector routing protocols (Q3455541):
Displaying 14 items.
- Modelling and verifying the AODV routing protocol (Q324632) (← links)
- A calculus of trustworthy ad hoc networks (Q470043) (← 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)
- A framework for security analysis of mobile wireless networks (Q860908) (← links)
- Modeling and efficient verification of wireless ad hoc networks (Q1688557) (← links)
- Static analysis of topology-dependent broadcast networks (Q2266988) (← links)
- Model checking mobile ad hoc networks (Q2363813) (← links)
- A Timed Process Algebra for Wireless Networks with an Application in Routing (Q2802472) (← links)
- Formal Modeling and Verification of High-Availability Protocol for Network Security Appliances (Q3510818) (← links)
- Modelling and Initial Validation of the DYMO Routing Protocol for Mobile Ad-Hoc Networks (Q3510864) (← links)
- Developing Topology Discovery in Event-B (Q3605457) (← links)
- Modeling Routing Protocols in Adhoc Networks (Q3628490) (← links)
- Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols (Q5458318) (← links)