Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Parametric Analyses Of Attack-Fault Trees | 0 | 0.34 | 2021 |
| Parametric Analyses of Attack-Fault Trees | 0 | 0.34 | 2019 |
| On the Expressive Power of Invariants in Parametric Timed Automata | 0 | 0.34 | 2019 |
| TCTL Model Checking Lower/Upper-Bound Parametric Timed Automata Without Invariants. | 2 | 0.36 | 2018 |
| Timed Automata with Parametric Updates | 0 | 0.34 | 2018 |