Pages that link to "Item:Q2495651"
From MaRDI portal
The following pages link to Quantitative analysis of probabilistic lossy channel systems (Q2495651):
Displaying 9 items.
- An analytical model for end-to-end communication channel over PLCN based on QBDs (Q990086) (← links)
- When are stochastic transition systems tameable? (Q1648646) (← links)
- Simulating perfect channels with probabilistic lossy channels (Q1776399) (← links)
- Computable fixpoints in well-structured symbolic model checking (Q2248074) (← links)
- Verification of probabilistic systems with faulty communication (Q2573634) (← links)
- (Q4814602) (← links)
- Lossiness of Communication Channels Modeled by Transducers (Q5175894) (← links)
- Lossiness of communication channels modeled by transducers1 (Q5283445) (← links)
- Validation of Stochastic Systems (Q5325845) (← links)