| Title | XANDAR: V&V Approach for Safety-Critical Systems in Automotive and Avionics Use Cases |
|---|---|
| DOI | https://doi.org/10.1109/socc58585.2023.10257177 |
| Raw Affiliation | Queen’s University,Belfast,United Kingdom |
| Clean Page Target | Queen’s University,Belfast,United Kingdom |