Klaus-Dieter Schewe. Extensions to Hybrid Event-B to Support Concurrency in Cyber-Physical Systems. In El Hassan Abdelwahed, Ladjel Bellatreche, Matteo Golfarelli, Dominique Méry, Carlos Ordonez 0001, editors, Model and Data Engineering - 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24-26, 2018, Proceedings. Volume 11163 of Lecture Notes in Computer Science, pages 418-433, Springer, 2018. [doi]
Abstract is missing.