Pages that link to "Item:Q2848422"
From MaRDI portal
The following pages link to Probabilistic model checking of the CSMA/CD protocol using PRISM and APMC (Q2848422):
Displaying 6 items.
- Modelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs with sharing (Q736791) (← links)
- Performance analysis and functional verification of the stop-and-wait protocol in HOL (Q1040781) (← links)
- Probabilistic verification and approximation (Q2478551) (← links)
- A Uniformization-Based Algorithm for Model Checking the CSL Until Operator on Labeled Queueing Networks (Q3543298) (← links)
- Evaluating Complex MAC Protocols for Sensor Networks with APMC (Q5178993) (← links)
- Computer Aided Verification (Q5716563) (← links)