Zujany Salazar, Ana Rosa Cavalli, Wissam Mallouli, Filip Sebek, Fatiha Zaïdi, Monika Ewa Rakoczy. Monitoring Approaches for Security and Safety Analysis: Application to a Load Position System. In 15th IEEE International Conference on Software Testing, Verification and Validation Workshops ICST Workshops 2022, Valencia, Spain, April 4-13, 2022. pages 40-48, IEEE, 2022. [doi]
Abstract is missing.