Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata (2012)

by Nathalie Bertrand , Thierry Jéron , Amélie Stainer , Moez Krichen
Venue:VOL. 8(4:8)2012, PP. 1–33