Building Correct Hybrid Systems using Event-B and Sagemath: Illustration by the Hybrid Smart Heating System Case Study.

Meryem Afendi, Amel Mammar, Rgine Laleau

Browse the full ICECCS paper archive.