Implicit integration of scenarios into a reduced timed automaton
Title | Implicit integration of scenarios into a reduced timed automaton |
Publication Type | Journal Article |
Year of Publication | 2003 |
Authors | Salah, A., R. Dssouli, and G. Lapalme |
Journal | Journal of Information and Software Technology |
Volume | 45 |
Pagination | 715-725 |
PDF: