Pages that link to "Item:Q2643078"
From MaRDI portal
The following pages link to Task automata: Schedulability, decidability and undecidability (Q2643078):
Displayed 8 items.
- Modeling and verification of hybrid dynamic systems using multisingular hybrid Petri nets (Q442295) (← links)
- Interrupt timed automata: verification and expressiveness (Q453513) (← links)
- PADS: an approach to modeling resource demand and supply for the formal analysis of hierarchical scheduling (Q764283) (← links)
- A study on shuffle, stopwatches and independently evolving clocks (Q1938360) (← links)
- Schedulability of asynchronous real-time concurrent objects (Q2390036) (← links)
- Validating Timed Models of Deployment Components with Parametric Concurrency (Q3067533) (← links)
- MODELING AND ANALYSIS OF REAL-TIME SYSTEMS WITH MUTEX COMPONENTS (Q4902881) (← links)
- Testing Concurrent Objects with Application-Specific Schedulers (Q5505611) (← links)