Pages that link to "Item:Q880645"
From MaRDI portal
The following pages link to Recurrent schemes for the synthesis of design decisions (Q880645):
Displaying 5 items.
- Structural analysis and synthesis of route schemes for macro mining problems (Q1429056) (← links)
- Recurrent schemes for generating and choosing alternatives of systems based on operational models (Q1780281) (← links)
- Decomposition schemes for synthesis of scheduling strategies in scalable systems (Q1946367) (← links)
- Composition and distribution of resources for real-time computing systems (Q2386495) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5898629) (← links)