Pages that link to "Item:Q5178993"
From MaRDI portal
The following pages link to Evaluating Complex MAC Protocols for Sensor Networks with APMC (Q5178993):
Displaying 5 items.
- APMC (Q23425) (← links)
- Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude (Q1004068) (← links)
- A hierarchical formal method for performance evaluation of WSNs protocol (Q2030175) (← links)
- Probabilistic verification and approximation (Q2478551) (← links)
- Probabilistic model checking of the CSMA/CD protocol using PRISM and APMC (Q2848422) (← links)