The following pages link to (Q5295510):
Displaying 8 items.
- Timed verification of the generic architecture of a memory circuit using parametric timed automata (Q1028737) (← links)
- Automatizing parametric reasoning on distributed concurrent systems (Q1346610) (← links)
- Verification of parametric concurrent systems with prioritised FIFO resource management (Q2481584) (← links)
- Parametric Deadlock-Freeness Checking Timed Automata (Q3179417) (← links)
- An Inverse Method for Parametric Timed Automata (Q4982084) (← links)
- An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints (Q5452614) (← links)
- CONCUR 2003 - Concurrency Theory (Q5900565) (← links)
- Distributed parametric model checking timed automata under non-zenoness assumption (Q6108439) (← links)