[1] Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, and Neeraj Kumar Singh. Proof-based approach to hybrid systems development: Dynamic logic and event-b. In Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings, pages 155--170, 2018. [ bib | DOI | http ]
[2] Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, and Neeraj Kumar Singh. Hybrid systems and event-b: A formal approach to signalised left-turn assist. In Abdelwahed et al. [3], pages 153--158. [ bib | DOI | http ]
[3] El Hassan Abdelwahed, Ladjel Bellatreche, Djamal Benslimane, Matteo Golfarelli, Stéphane Jean, Dominique Méry, Kazumi Nakamatsu, and Carlos Ordonez, 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. Springer, 2018. [ bib | DOI | http ]
[4] El Hassan Abdelwahed, Ladjel Bellatreche, Matteo Golfarelli, Dominique Méry, and Carlos Ordonez, 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. Springer, 2018. [ bib | DOI | http ]

This file was generated by bibtex2html 1.98.