Merkliste 
 1 Ergebnisse 
 
1

Towards Developing Formalized Assurance Cases:

, In: 2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC),
Meng, Baoluo ; Moitra, Abha ; Crapo, Andrew W.... - p. 1-9 , 2020