A logic-based framework for the security analysis of industrial control systems

Publication:

2017

Journal article

Author(s)

;

;

;

Automatic Control and Computer Sciences

1851 since deposited on 2021-10-24

2last month

Acq. date: 2025-12-12