XANDAR: Verification & Validation Approach for Safety-critical Systems.

Balmukund Sonigara Sakir Sezer Fahad Siddiqui Raphael Weber Konstantinos Antonopoulos Christos Panagiotou Christos P. Antonopoulos Georgios Keramidas Nikolaos S. Voros Sena Yengec Tasdemir Henry Hui Kieran McLaughlin

Published in: SOCC (2023)

Keyphrases