Asieh Salehi Fathabadi, Dana Dghaym, Thai Son Hoang, Michael J. Butler, Colin F. Snook. Generating SPARK from Event-B, Providing Fundamental Safety and Security. In Philippe Fournier-Viger, Ahmed Hassan, Ladjel Bellatreche, Ahmed Awad 0001, Abderrahim Ait Wakrime, Yassine Ouhammou, Idir Aït-Sadoune, editors, Advances in Model and Data Engineering in the Digitalization Era - MEDI 2022 Short Papers and DETECT 2022 Workshop Papers, Cairo, Egypt, November 21-24, 2022, Proceedings. Volume 1751 of Communications in Computer and Information Science, pages 179-192, Springer, 2022. [doi]
Abstract is missing.