Title :
Automatically cross-checked design for multidisciplinary development of avionics systems
Author :
Carlos C. Insaurralde
Abstract :
This article consists of a collection of slides from the author´s conference presentation.
Keywords :
"Manuals","Controllability"
Conference_Titel :
Digital Avionics Systems Conference (DASC), 2015 IEEE/AIAA 34th
Electronic_ISBN :
2155-7209
DOI :
10.1109/DASC.2015.7311633
