Title XANDAR: Exploiting the X-by-Construction Paradigm in Model-based Development of Safety-critical Systems
DOI https://doi.org/10.23919/date54114.2022.9774534
Raw Affiliation German Aerospace Center (DLR), Institute of Flight Systems, Germany
Clean Page Target German Aerospace Center (DLR), Institute of Flight Systems, Germany