Towards an Automated Test Generation with Delayed Transitions for Timed Systems.

Elisangela Rodrigues Vieira, Ana R. Cavalli

Browse the full RTCSA paper archive.