Generating SPARK from Event-B, Providing Fundamental Safety and Security
Attributed to:
Holistic Design of Secure Systems on Capability Hardware (HD-Sec)
funded by
ISCF
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