Title XANDAR: X-by-Construction Design framework for Engineering Autonomous & Distributed Real-time Embedded Software Systems
DOI https://doi.org/10.1109/fpl53798.2021.00075
Raw Affiliation Queen’s University, Belfast, UK
Clean Page Target Queen’s University, Belfast, UK