Merkliste 
 1 Ergebnisse 
 
1

Computer-Aided Evaluation for Argument-Based Certification:

, In: 2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC),
Daw, Zamira ; Wang, Timothy ; Oh, Chanwook... - p. 1-10 , 2023