Meryem Afendi, Amel Mammar, Régine Laleau. A Tool-Supported Approach for Modeling and Verifying Hybrid Systems using EVENT-B and the Differential Equation Solver SAGEMATH. In Hans-Georg Fill, Francisco José Domínguez-Mayo, Marten van Sinderen, Leszek A. Maciaszek, editors, Proceedings of the 18th International Conference on Software Technologies, ICSOFT 2023, Rome, Italy, July 10-12, 2023. pages 71-83, SCITEPRESS, 2023. [doi]
Abstract is missing.