A new method for testing timed systems

TitleA new method for testing timed systems
Publication TypeJournal Article
Year of Publication2011
AuthorsBonifácio A L, Moura A V
JournalSoftw. Test., Verif. Reliab.