Pages that link to "Item:Q1708707"
From MaRDI portal
The following pages link to A specification theory of real-time processes (Q1708707):
Displaying 6 items.
- Robust synthesis for real-time systems (Q386617) (← links)
- A theory of Orwellian specifications with NewThink (Q1906042) (← links)
- Predictable real-time software synthesis (Q2642542) (← links)
- Modeling and Specification of Real-Time Interfaces with UTP (Q2842633) (← links)
- (Q3783514) (← links)
- Modularity for timed and hybrid systems (Q6044109) (← links)