Adnan Khan, Martin Fabian. On the Safe IOCOS relation for Testing Safety PLC Code. In 24th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2019, Zaragoza, Spain, September 10-13, 2019. pages 1449-1452, IEEE, 2019. [doi]
Abstract is missing.