Formal Security Verification of Industry 4.0 Applications

Vivek Nigam and Carolyn Talcott

24th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2019, Zaragoza, Spain, September 10-13, 2019, pp. 1043–1050

2019 · doi: 10.1109/ETFA.2019.8869428