Browsing by author "Jansen, Joachim"
Now showing items 1-1 of 1
-
A logic-based framework for the security analysis of industrial control systems
Lemaire, Laurens; Vossaert, Jan; Jansen, Joachim; Naessens, Vincent (2017)
Now showing items 1-1 of 1