Testing temporal and behavior events on timed systems with timed test purposes.

Sbastien Salva

Browse the full OPODIS paper archive.