A New Timed Discretization Method for Automatic Test Generation for Timed Systems

TitleA New Timed Discretization Method for Automatic Test Generation for Timed Systems
Publication TypeMiscellaneous
Year of Publication2009
AuthorsBonifácio A L, Moura A V