XANDAR: Verification & Validation Approach for Safety-critical Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Balmukund Sonigara, Sakir Sezer, Fahad Siddiqui 0001, Raphael Weber, Konstantinos Antonopoulos, Christos Panagiotou, Christos P. Antonopoulos, Georgios Keramidas, Nikolaos S. Voros, Sena Yengec Tasdemir, Henry Hui, Kieran McLaughlin. XANDAR: Verification & Validation Approach for Safety-critical Systems. In Jürgen Becker 0001, Andrew Marshall, Tanja Harbaum, Amlan Ganguly, Fahad Siddiqui, Kieran McLaughlin, editors, 36th IEEE International System-on-Chip Conference, SOCC 2023, Santa Clara, CA, USA, September 5-8, 2023. pages 1-6, IEEE, 2023. [doi]

This author has not been identified. Look up 'Balmukund Sonigara' in GoogleThis author has not been identified. Look up 'Sakir Sezer' in GoogleThis author has not been identified. Look up 'Fahad Siddiqui 0001' in GoogleThis author has not been identified. Look up 'Raphael Weber' in GoogleThis author has not been identified. Look up 'Konstantinos Antonopoulos' in GoogleThis author has not been identified. Look up 'Christos Panagiotou' in GoogleThis author has not been identified. Look up 'Christos P. Antonopoulos' in GoogleThis author has not been identified. Look up 'Georgios Keramidas' in GoogleThis author has not been identified. Look up 'Nikolaos S. Voros' in GoogleThis author has not been identified. Look up 'Sena Yengec Tasdemir' in GoogleThis author has not been identified. Look up 'Henry Hui' in GoogleThis author has not been identified. Look up 'Kieran McLaughlin' in Google

runs on WebDSL