View source for InstitutionDoi/1740

{{InstitutionsDoi
|doi=https://doi.org/10.23919/date54114.2022.9774534
|affiliation=German Aerospace Center (DLR), Institute of Flight Systems, Germany
|affiliation_clean=German Aerospace Center (DLR), Institute of Flight Systems, Germany
|title=XANDAR: Exploiting the X-by-Construction Paradigm in Model-based Development of Safety-critical Systems
}}