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:
