A Tool-Supported Approach for Modeling and Verifying Hybrid Systems using EVENT-B and the Differential Equation Solver SAGEMATH.

Meryem Afendi, Amel Mammar, Rgine Laleau

Browse the full ICSoft paper archive.