The following pages link to Pavel Krcal (Q2643077):
Displayed 13 items.
- Task automata: Schedulability, decidability and undecidability (Q2643078) (← links)
- Sampled Semantics of Timed Automata (Q2786131) (← links)
- (Q2845491) (← links)
- Multi-processor Schedulability Analysis of Preemptive Real-Time Tasks with Variable Execution Times (Q3510849) (← links)
- R-Automata (Q3541011) (← links)
- (Q4473984) (← links)
- (Q4474210) (← links)
- Universality of R-automata with Value Copying (Q5179055) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5308410) (← links)
- CONCUR 2004 - Concurrency Theory (Q5311484) (← links)
- Communicating Timed Automata: The More Synchronous, the More Difficult to Verify (Q5756736) (← links)
- Sampled Universality of Timed Automata (Q5758054) (← links)
- FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science (Q5897779) (← links)