Passive Testing of Timed Systems.

Csar Andrs, Mercedes G. Merayo, Manuel Nez

Browse the full ATVA paper archive.