The following pages link to SYNTHESIS (Q13688):
Displaying 7 items.
- Failure-free coordinators synthesis for component-based architectures (Q931099) (← links)
- Conformance notions for the coordination of interaction components (Q967558) (← links)
- Structural reconfiguration of systems under behavioral adaptation (Q1951614) (← links)
- Algorithms for Synthesizing Priorities in Component-Based Systems (Q3172911) (← links)
- An Algorithmic Framework for Synthesis of Concurrent Programs (Q3172943) (← links)
- (Q3601412) (← links)
- Automatic Generation of Adaptation Contracts (Q5179209) (← links)
