Pages that link to "Item:Q2699967"
From MaRDI portal
The following pages link to Verification of component-based systems with recursive architectures (Q2699967):
Displaying 4 items.
- On the verification of architectural reconfigurations (Q1749140) (← links)
- Applying Step Coverability Trees to Communicating Component-Based Systems (Q3400920) (← links)
- Algebraic Methodology and Software Technology (Q5312987) (← links)
- An Approach to Modelling and Verification of Component Based Systems (Q5448780) (← links)