Pages that link to "Item:Q5448780"
From MaRDI portal
The following pages link to An Approach to Modelling and Verification of Component Based Systems (Q5448780):
Displaying 9 items.
- Rigorous development of component-based systems using component metadata and patterns (Q333322) (← links)
- Building distributed controllers for systems with priorities (Q541297) (← links)
- Associative composition of components with double-sided interfaces (Q1733102) (← links)
- Deadlock-freedom in component systems with architectural constraints (Q2441719) (← links)
- Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System (Q3523098) (← links)
- Robustness in Interaction Systems (Q3612362) (← links)
- Contracts for BIP: Hierarchical Interaction Models for Compositional Verification (Q3614835) (← links)
- Cross-Checking - Enhanced Over-Approximation of the Reachable Global State Space of Component-Based Systems (Q3646263) (← links)
- Assume–guarantee verification of nonlinear hybrid systems with <scp>Ariadne</scp> (Q5408048) (← links)
