InstitutionDoi/1740
| 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 |