Pages that link to "Item:Q4931301"
From MaRDI portal
The following pages link to Probabilistic Contracts for Component-Based Design (Q4931301):
Displaying 7 items.
- Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects (Q633299) (← links)
- Tightening the contract refinements of a system architecture (Q1654565) (← links)
- Conditions of contracts for separating responsibilities in heterogeneous systems (Q1742989) (← links)
- Taming Dr. Frankenstein: contract-based design for cyber-physical systems (Q1937313) (← links)
- Unifying theories of reactive design contracts (Q2007732) (← links)
- Probabilistic contracts for component-based design (Q2441722) (← links)
- Abstraction-Refinement for Hierarchical Probabilistic Models (Q6487314) (← links)