Pages that link to "Item:Q2898020"
From MaRDI portal
The following pages link to An Assume/Guarantee Based Compositional Calculus for Hybrid CSP (Q2898020):
Displayed 4 items.
- A mechanically verified theory of contracts (Q2119969) (← links)
- A compositional modelling and verification framework for stochastic hybrid systems (Q2403530) (← links)
- Formal Modelling, Analysis and Verification of Hybrid Systems (Q2948232) (← links)
- A Two-Way Path Between Formal and Informal Design of Embedded Systems (Q2971176) (← links)