Implicit integration of scenarios into a reduced timed automaton

TitreImplicit integration of scenarios into a reduced timed automaton
Type de publicationJournal Article
Année de publication2003
AuteursSalah, A., R. Dssouli, and G. Lapalme
JournalJournal of Information and Software Technology
Volume45
Pagination715-725