Conformance Testing by Model Checking Timed Extended Finite State Machines

TitleConformance Testing by Model Checking Timed Extended Finite State Machines
Publication TypeConference Paper
Year of Publication2006
AuthorsBonifácio A L, Moura A V, da Simão A, Maldonado JC
Conference NameBrazilian Symposium on Formal Methods (SBMF'06)
Conference LocationNatal