Generating SPARK from Event-B, Providing Fundamental Safety and Security
Attributed to:
Academic Centre of Excellence in Cyber Security Research - University of Southampton
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-031-23119-3_13
Publication URI: http://dx.doi.org/10.1007/978-3-031-23119-3_13
Type: Book Chapter
Book Title: 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 (2022)
Page Reference: 179-192