aircraft communication; avionics; IMA system integration; communication object exchange; dynamic testing; federated avionics architecture; integrated modular avionics architecture; interpartition communication; interpartition error propagation; power consumption; real-time operating system; resource sharing; space domain analysis; synthesized validation method; synthesized verification method; time domain analysis; volume consumption; weight consumption; Aerospace electronics; Formal verification; Operating systems; Ports (Computers); Resource management; Testing; XML;
机译:薄膜处理和集成方法可实现负担得起的移动通信系统
机译:程序系统验证方法的集成
机译:将医学领域的数字成像和通信集成到口腔颌面图像管理和通信系统中。
机译:IMA系统集成中分区间通信的综合验证方法
机译:用于通信系统的改进的同步和信道估计方法。
机译:系统生物学的数据集成方法:实验验证
机译:自动验证综合RTL设计并将其与高级综合工具集成的方法
机译:用于估计通信信道语音清晰度的sTI(语音传输指数)方法的英语验证