DMCA

Off-line Test Selection with Test Purposes for Non-Deterministic Timed Automata

by Nathalie Bertr