Hybrid Systems and Event-B: A Formal Approach to Signalised Left-Turn Assist

Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh. Hybrid Systems and Event-B: A Formal Approach to Signalised Left-Turn Assist. In El Hassan Abdelwahed, Ladjel Bellatreche, Djamal Benslimane, Matteo Golfarelli, Stéphane Jean, Dominique Méry, Kazumi Nakamatsu, Carlos Ordonez 0001, editors, New Trends in Model and Data Engineering - MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24-26, 2018, Proceedings. Volume 929 of Communications in Computer and Information Science, pages 153-158, Springer, 2018. [doi]

Abstract

Abstract is missing.