The following pages link to Mohammad Mahdi Jaghoori (Q530208):
Displayed 5 items.
- Compositional schedulability analysis of real-time actor-based systems (Q530212) (← links)
- Symmetry and partial order reduction techniques in model checking Rebeca (Q845239) (← links)
- Schedulability of asynchronous real-time concurrent objects (Q2390036) (← links)
- Composing Real-Time Concurrent Objects Refinement, Compatibility and Schedulability (Q2894555) (← links)
- Modular Schedulability Analysis of Concurrent Objects in Creol (Q3400922) (← links)