Pages that link to "Item:Q2390036"
From MaRDI portal
The following pages link to Schedulability of asynchronous real-time concurrent objects (Q2390036):
Displaying 11 items.
- Integrating deployment architectures and resource consumption in timed object-oriented models (Q478391) (← links)
- Compositional schedulability analysis of real-time actor-based systems (Q530212) (← links)
- Scenario-based verification of real-time systems using UPPAAL (Q633291) (← links)
- Holistic analysis of asynchronous real-time transactions with earliest deadline scheduling (Q858320) (← links)
- Response time analysis of asynchronous real-time systems (Q1431359) (← links)
- Approximate analyzing of labeled transition systems (Q1667079) (← links)
- Validating Timed Models of Deployment Components with Parametric Concurrency (Q3067533) (← links)
- Model Checking Real-Time Systems (Q3176387) (← links)
- Modular Schedulability Analysis of Concurrent Objects in Creol (Q3400922) (← links)
- Asynchronous and deterministic objects (Q3452255) (← links)
- Hitting Families of Schedules for Asynchronous Programs (Q4633553) (← links)