Login / Signup

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

Meryem AfendiAmel MammarRégine Laleau
Published in: ICECCS (2022)
Keyphrases