XANDAR: Exploiting the X-by-Construction Paradigm in Model-based Development of Safety-critical Systems (2022)
Attributed to:
Academic Centre of Excellence in Cyber Security Research - Queen's University Belfast
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.23919/date54114.2022.9774534
Publication URI: http://dx.doi.org/10.23919/date54114.2022.9774534
Type: Conference/Paper/Proceeding/Abstract