Pages that link to "Item:Q633299"
From MaRDI portal
The following pages link to Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects (Q633299):
Displaying 5 items.
- Conditions of contracts for separating responsibilities in heterogeneous systems (Q1742989) (← links)
- Automated verification and synthesis of stochastic hybrid systems: a survey (Q2097770) (← links)
- Probabilistic contracts for component-based design (Q2441722) (← links)
- Quantitative Multi-objective Verification for Probabilistic Systems (Q3000641) (← links)
- Model Checking Probabilistic Systems (Q3176386) (← links)
