Pages that link to "Item:Q386617"
From MaRDI portal
The following pages link to Robust synthesis for real-time systems (Q386617):
Displaying 7 items.
- Parameter synthesis for hierarchical concurrent real-time systems (Q488231) (← links)
- Compositionality for quantitative specifications (Q1797783) (← links)
- Synthesizing robust systems (Q2249662) (← links)
- Predictable real-time software synthesis (Q2642542) (← links)
- (Q4942027) (← links)
- Progress-preserving Refinements of CTA (Q5009458) (← links)
- Specification Theories for Probabilistic and Real-Time Systems (Q5170746) (← links)