Testing Real-Time Systems Using Determinization Techniques for Automata over Timed Domains.

Moez Krichen

Browse the full ICTAC paper archive.