Implicit integration of scenarios into a reduced timed automaton
Titre | Implicit integration of scenarios into a reduced timed automaton |
Type de publication | Journal Article |
Année de publication | 2003 |
Auteurs | Salah, A., R. Dssouli, and G. Lapalme |
Journal | Journal of Information and Software Technology |
Volume | 45 |
Pagination | 715-725 |
PDF: