Pages that link to "Item:Q5170750"
From MaRDI portal
The following pages link to The Unmet Challenge of Timed Systems (Q5170750):
Displaying 5 items.
- Formal assessment of reliability specifications in embedded cyber-physical systems (Q334152) (← links)
- Time-awareness and proactivity in models of interactive computation (Q2863847) (← links)
- Time is not enough: dealing with behavior in real-time systems (Q2917204) (← links)
- Charlemagne's Challenge: The Periodic Latency Problem (Q3109870) (← links)
- (Q4818742) (← links)