Implicit integration of scenarios into a reduced timed automaton

TitleImplicit integration of scenarios into a reduced timed automaton
Publication TypeJournal Article
Year of Publication2003
AuthorsSalah, A., R. Dssouli, and G. Lapalme
JournalJournal of Information and Software Technology
Volume45
Pagination715-725