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]
@inproceedings{HosseiniSK23,
title = {Formal Verification of Safety and Security Properties in Industry 4.0 Applications},
author = {Ali Mohammad Hosseini and Thilo Sauter and Wolfgang Kastner},
year = {2023},
doi = {10.1109/ETFA54631.2023.10275690},
url = {https://doi.org/10.1109/ETFA54631.2023.10275690},
researchr = {https://researchr.org/publication/HosseiniSK23},
cites = {0},
citedby = {0},
pages = {1-8},
booktitle = {28th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2023, Sinaia, Romania, September 12-15, 2023},
publisher = {IEEE},
isbn = {979-8-3503-3991-8},
}