Parametric Timed Model Checking for Guaranteeing Timed Opacity.

tienne Andr, Jun Sun

Browse the full ATVA paper archive.