Formal Security Verification of Industry 4.0 Applications
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
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