Title :
Automatic safety computation for IMA systems
Author_Institution :
University of Stuttgart
Abstract :
• Problem description • Our objective • Realisation • Results • Problems / further work • More results / perspective
Conference_Titel :
Digital Avionics Systems Conference (DASC), 2011 IEEE/AIAA 30th
Conference_Location :
Seattle, WA, USA
Print_ISBN :
978-1-61284-797-9
DOI :
10.1109/DASC.2011.6096281
