Pages that link to "Item:Q1688557"
From MaRDI portal
The following pages link to Modeling and efficient verification of wireless ad hoc networks (Q1688557):
Displaying 8 items.
- Modeling and verifying ad hoc routing protocols (Q462483) (← links)
- Modeling and analyzing mobile ad hoc networks in Real-Time Maude (Q730472) (← links)
- Parameterized verification of time-sensitive models of ad hoc network protocols (Q896913) (← links)
- Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude (Q1004068) (← links)
- Actor-based model checking for software-defined networks (Q1996852) (← links)
- Model checking mobile ad hoc networks (Q2363813) (← links)
- On the Verification of Timed Ad Hoc Networks (Q3172855) (← links)
- Automated Generation of Performance and Dependability Models for the Assessment of Wireless Sensor Networks (Q5274697) (← links)