SYNTHESIS
From MaRDI portal
Software:13688
No author found.
Related Items (7)
Algorithms for Synthesizing Priorities in Component-Based Systems ⋮ An Algorithmic Framework for Synthesis of Concurrent Programs ⋮ Unnamed Item ⋮ Structural reconfiguration of systems under behavioral adaptation ⋮ Failure-free coordinators synthesis for component-based architectures ⋮ Conformance notions for the coordination of interaction components ⋮ Automatic Generation of Adaptation Contracts
This page was built for software: SYNTHESIS
