Formal Correctness of a Passive Testing Approach for Timed Systems.

Csar Andrs, Mercedes G. Merayo, Manuel Nez

Browse the full ICST paper archive.