XANDAR: Exploiting the X-by-Construction Paradigm in Model-based Development of Safety-critical Systems (2022)
Attributed to:
Centre for Secure Information Technologies (CSIT)
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