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

Published in: ICECCS (2022)

Keyphrases