Pages that link to "Item:Q1749140"
From MaRDI portal
The following pages link to On the verification of architectural reconfigurations (Q1749140):
Displaying 5 items.
- A contract-based approach to adaptivity (Q541295) (← links)
- Runtime verification for dynamic architectures (Q1996854) (← links)
- Formal specification and verification of dynamic parametrized architectures (Q2024379) (← links)
- Interactive verification of architectural design patterns in FACTum (Q2335950) (← links)
- Enforcing architectural styles in presence of unexpected distributed reconfigurations (Q5208776) (← links)