| 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 | Aristotle University of Thessaloniki, Greece |
| Clean Page Target | Aristotle University of Thessaloniki, Greece |