Generation of optimal finite test suites for timed systems.

Mercedes G. Merayo, Manuel Nez, Ismael Rodrguez

Browse the full TASE paper archive.