Pages that link to "Item:Q5464480"
From MaRDI portal
The following pages link to Formal Techniques for Networked and Distributed Systems – FORTE 2004 (Q5464480):
Displayed 8 items.
- Verification of mobile ad hoc networks: an algebraic approach (Q549194) (← links)
- A framework for security analysis of mobile wireless networks (Q860908) (← links)
- Modeling and efficient verification of wireless ad hoc networks (Q1688557) (← links)
- A state-based model of sensor protocols (Q1758154) (← links)
- Model checking mobile ad hoc networks (Q2363813) (← links)
- Broadcast Psi-calculi with an Application to Wireless Protocols (Q3095234) (← links)
- Modelling and Initial Validation of the DYMO Routing Protocol for Mobile Ad-Hoc Networks (Q3510864) (← links)
- Modeling Routing Protocols in Adhoc Networks (Q3628490) (← links)