Sean Fenech, Christian Colombo 0001, Gordon J. Pace, Axel Curmi. FLARE - Monitoring for the Regulatory Requirements of a Drone Case Study. In Amir Goharshady, Christoph Haase, editors, Dependable Software Engineering. Theories, Tools, and Applications - 11th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2025, Oxford, UK, December 1-3, 2025, Proceedings. Volume 16458 of Lecture Notes in Computer Science, pages 199-219, Springer, 2025. [doi]
Abstract is missing.