An On-the-Fly Approach for the Verification of Opacity in Critical Systems.

Kais Klai, Nawel Hamdi, Nejib Ben Hadj-Alouane

Browse the full WETICE paper archive.