The Power of Reachability Testing
by Patricia Bouyer, Augusto Burgue No, Kim G. Larsen, Luca Aceto, Luca Aceto
http://www.mimuw.edu.pl/~igw/aceto-test.ps
Add To MetaCart
Abstract:
et al.:
Citations
| 1393 | A theory of timed automata – Alur, Dill - 1994 |
| 332 | Uppaal in a Nutshell – Larsen, Pettersson, et al. - 1997 |
| 107 | HyTech: The next generation – Henzinger, Ho, et al. - 1995 |
| 46 | From timed automata to logic - and back – LAROUSSINIE, LARSEN, et al. - 1995 |
| 42 | Real-time behaviour of asynchronous agents – Wang - 1990 |
| 35 | Model checking via reachability testing for timed automata – ACETO, BURGUEO, et al. - 1998 |
| 22 | Compositional model checking of real time systems – Laroussinie, Larsen - 1995 |
| 18 | The Power of Reachability Testing for Timed Automata – ACETO, BOUYER, et al. - 1998 |
| 3 | Model-checking via Testing and Parametric Analysis of Timed Systems, PhD thesis, #cole Nationale Sup#rieure de l'A#ronautique et de l'#space – Burgueo - 1998 |
