InstitutionDoi/1694

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