The following pages link to Diego Marmsoler (Q1675794):
Displaying 6 items.
- Towards a calculus for dynamic architectures (Q1675795) (← links)
- Runtime verification for dynamic architectures (Q1996854) (← links)
- Hierarchical specification and verification of architectural design patterns (Q2324187) (← links)
- Interactive verification of architectural design patterns in FACTum (Q2335950) (← links)
- Specifying Properties of Dynamic Architectures Using Configuration Traces (Q3179403) (← links)
- On Activation, Connection, and Behavior in Dynamic Architectures (Q4621205) (← links)
