Pages that link to "Item:Q3179403"
From MaRDI portal
The following pages link to Specifying Properties of Dynamic Architectures Using Configuration Traces (Q3179403):
Displaying 5 items.
- Runtime verification for dynamic architectures (Q1996854) (← links)
- Interactive verification of architectural design patterns in FACTum (Q2335950) (← links)
- (Q5028448) (← links)
- Modelling Uncertainty in Architectures of Parametric Component-Based Systems (Q6072401) (← links)
- APML: an architecture proof modeling language (Q6535972) (← links)