Execution-Time Opacity Control for Timed Automata.

tienne Andr, Marie Duflot, Laetitia Laversa, Engel Lefaucheux

Browse the full SEFM paper archive.