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 18 items.
- Rigorous development of component-based systems using component metadata and patterns (Q333322) (← links)
- Building distributed controllers for systems with priorities (Q541297) (← links)
- Model-based construction and verification of critical systems using composition and partial refinement (Q633296) (← links)
- Verification of asynchronous systems with an unspecified component (Q1731830) (← links)
- Associative composition of components with double-sided interfaces (Q1733102) (← links)
- Deadlock-freedom in component systems with architectural constraints (Q2441719) (← links)
- A compositional behavioral modeling framework for embedded system design and conformance checking (Q2506261) (← links)
- A framework for the functional verification of SystemC models (Q2506264) (← links)
- Machine-verifiable responsiveness (Q2863863) (← links)
- (Q3046809) (← 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)
- (Q4738311) (← links)
- Algebraic Methodology and Software Technology (Q5312987) (← links)
- Assume–guarantee verification of nonlinear hybrid systems with <scp>Ariadne</scp> (Q5408048) (← links)
- Principles of Distributed Systems (Q5713695) (← links)
