Pages that link to "Item:Q633299"

The following pages link to Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects (Q633299):

Displayed 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)