Pages that link to "Item:Q987537"
From MaRDI portal
The following pages link to A timeband framework for modelling real-time systems (Q987537):
Displaying 11 items.
- Heterogeneous and asynchronous networks of timed systems (Q505453) (← links)
- A temporal logic for micro- and macro-step-based real-time systems: foundations and applications (Q530560) (← links)
- Mode change protocols for real-time systems: a survey and a new proposal (Q704778) (← links)
- Reasoning about goal-directed real-time teleo-reactive programs (Q736794) (← links)
- Time variant dynamic models in diagnosing of real-time computer systems (Q895302) (← links)
- Modelling temporal behaviour in complex systems with Timebands (Q2248089) (← links)
- Deriving Real-Time Action Systems Controllers from Multiscale System Specifications (Q2908563) (← links)
- Towards an Algebra for Real-Time Programs (Q2915135) (← links)
- Dynamic networks of heterogeneous timed machines (Q4640311) (← links)
- Theoretical Aspects of Computing – ICTAC 2005 (Q5395104) (← links)
- Extending rely-guarantee thinking to handle real-time scheduling (Q6564175) (← links)