Pages that link to "Item:Q1951614"
From MaRDI portal
The following pages link to Structural reconfiguration of systems under behavioral adaptation (Q1951614):
Displaying 7 items.
- Synthesizing structural and behavioral control for reconfigurations in component-based systems (Q282089) (← links)
- A contract-based approach to adaptivity (Q541295) (← links)
- On the verification of architectural reconfigurations (Q1749140) (← links)
- Interactive verification of architectural design patterns in FACTum (Q2335950) (← links)
- When Structural Refinement of Components Keeps Temporal Properties over Reconfigurations (Q4647842) (← links)
- A quantitative inherent reconfiguration theory for a class of systems† (Q4724492) (← links)
- Component Reconfiguration in the Presence of Conflicts (Q5327433) (← links)