Anne Fernet, Leïla Kloul. Multi-approach Based Safety Analysis of a Wastewater Treatment System. In Panagiotis Katsaros, editor, Model-Based Safety and Assessment - 9th International Symposium, IMBSA 2025, Athens, Greece, September 24-26, 2025, Proceedings. Volume 15755 of Lecture Notes in Computer Science, pages 33-47, Springer, 2025. [doi]
Abstract is missing.