Ali Mohammad Hosseini, Thilo Sauter, Wolfgang Kastner. Formal Verification of Safety and Security Properties in Industry 4.0 Applications. In 28th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2023, Sinaia, Romania, September 12-15, 2023. pages 1-8, IEEE, 2023. [doi]
No references recorded for this publication.
No citations of this publication recorded.