SYNTHESIS
From MaRDI portal
Software:13688
swMATH944MaRDI QIDQ13688FDOQ13688
Author name not available (Why is that?)
Cited In (7)
- Title not available (Why is that?)
- Algorithms for Synthesizing Priorities in Component-Based Systems
- Automatic Generation of Adaptation Contracts
- Structural reconfiguration of systems under behavioral adaptation
- An Algorithmic Framework for Synthesis of Concurrent Programs
- Conformance notions for the coordination of interaction components
- Failure-free coordinators synthesis for component-based architectures
This page was built for software: SYNTHESIS
