Pages that link to "Item:Q4621205"
From MaRDI portal
The following pages link to On Activation, Connection, and Behavior in Dynamic Architectures (Q4621205):
Displaying 5 items.
- Towards a calculus for dynamic architectures (Q1675795) (← 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)
- APML: an architecture proof modeling language (Q6535972) (← links)