AADL; ARINC653; ARINC653 XML-Schema; Configuration instance; Configuration tables; Property set;
机译:使用AADL验证,模拟和实现ARINC653系统
机译:基于AADL的集成模块化航空电子设备重配置建模与可靠性分析方法
机译:基于Aadl的Ima软件动态重配置研究
机译:基于AADL的ARINC653配置工具的研究与实现
机译:基于形状力的形状记忆合金本构相场模型的开发和实现。
机译:基于FPGA的回归预测随机配置网络的实现
机译:使用aaDL验证,模拟和实施aRINC653系统