Dimitrios Serpanos, Stavros A. Koubias. Synthesis of Runtime Monitors for Safe and Secure Industrial Systems. In 11th Mediterranean Conference on Embedded Computing, MECO 2022, Budva, Montenegro, June 7-10, 2022. pages 1, IEEE, 2022. [doi]
Abstract is missing.