Pages that link to "Item:Q2324187"
From MaRDI portal
The following pages link to Hierarchical specification and verification of architectural design patterns (Q2324187):
Displaying 4 items.
- From design patterns to parallel architectural skeletons (Q697020) (← links)
- Runtime verification for dynamic architectures (Q1996854) (← links)
- Interactive verification of architectural design patterns in FACTum (Q2335950) (← links)
- APML: an architecture proof modeling language (Q6535972) (← links)