Title :
Synthesized verification method for the inter-partition communication in IMA system integration
Author :
Hongsheng Zhao;Jinyan Wang;Zhiyong Xiong;Jianmin Wu
Author_Institution :
National Key Laboratory of Science and Technology on Avionics Integration, China Aeronautical Radio Electronics Research Institute, Shanghai, China
Abstract :
This article consists of a collection of slides from the author´s conference presentation.
Conference_Titel :
Digital Avionics Systems Conference (DASC), 2015 IEEE/AIAA 34th
Electronic_ISBN :
2155-7209
DOI :
10.1109/DASC.2015.7311615
