Pages that link to "Item:Q4821979"
From MaRDI portal
The following pages link to Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems (Q4821979):
Displaying 19 items.
- An approach for lifetime reliability analysis using theorem proving (Q386029) (← links)
- Reasoning about conditional probabilities in a higher-order-logic theorem prover (Q545151) (← links)
- Formal reliability analysis of combinational circuits using theorem proving (Q545153) (← links)
- Formal probabilistic analysis of detection properties in wireless sensor networks (Q903510) (← links)
- Formalization of the standard uniform random variable (Q995466) (← links)
- Exact quantitative probabilistic model checking through rational search (Q2225475) (← links)
- Model checking single agent behaviours by fluid approximation (Q2346412) (← links)
- On the collective sort problem for distributed tuple spaces (Q2389341) (← links)
- Reachability analysis of uncertain systems using bounded-parameter Markov decision processes (Q2389641) (← links)
- Real-reward testing for probabilistic processes (Q2453107) (← links)
- Probabilistic model checking of complex biological pathways (Q2474435) (← links)
- Least upper bounds for probability measures and their applications to abstractions (Q2637319) (← links)
- An inductive technique for parameterised model checking of degenerative distributed randomised protocols (Q2810974) (← links)
- (Q5015397) (← links)
- Model Checking Linear-Time Properties of Probabilistic Systems (Q5072555) (← links)
- Probabilistic Analysis of Binary Sessions (Q5089279) (← links)
- Model-Checking ω-Regular Properties of Interval Markov Chains (Q5458367) (← links)
- Bounded Verification of Reachability of Probabilistic Hybrid Systems (Q6104812) (← links)
- Stability analysis of planar probabilistic piecewise constant derivative systems (Q6160779) (← links)
