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]
Abstract is missing.