The following pages link to TAXYS (Q14128):
Displaying 14 items.
- A survey of timed automata for the development of real-time systems (Q394966) (← links)
- Compositional schedulability analysis of real-time actor-based systems (Q530212) (← links)
- Checking timed Büchi automata emptiness efficiently (Q816203) (← links)
- Schedulability of asynchronous real-time concurrent objects (Q2390036) (← links)
- From synchronous programs to symbolic representations of hybrid systems (Q2985863) (← links)
- Modular Schedulability Analysis of Concurrent Objects in Creol (Q3400922) (← links)
- (Q4413756) (← links)
- (Q4417825) (← links)
- (Q4425757) (← links)
- (Q4439557) (← links)
- (Q4473739) (← links)
- Hybrid Systems: Computation and Control (Q5307935) (← links)
- (Q5757088) (← links)
- Languages and Tools for Hybrid Systems Design (Q5900264) (← links)