退出
我的积分:
中文文献批量获取
外文文献批量获取
丁明;
西北大学;
综合; 模块化; 航空电子; 系统重构; 验证;
机译:基于MARTE的模块化组合航空电子系统配置的形式验证方法。
机译:基于MARTE的模块化组合航空电子系统配置的形式化验证方法。
机译:无人机航空电子系统的抗饱和反馈控制方法研究
机译:分布式集成模块化航空电子系统的动态重构机理
机译:用于逻辑控制的模块化有限状态机:理论,验证和可重构制造系统的应用。
机译:计划集成模块化航空电子系统中的独立分区
机译:开发综合模块化航空电子系统的方法
机译:RT2模块化文档:用于量身定制的快速sE工件的a / stevens /模块化可重构架构
机译:模块化吸烟制品制造设备,吸烟制品安装设备,模块化设备的模块,可重构模块,用于安装模块化设备的部件的组装以及重构模块化设备的方法
机译:航空电子系统综合测试的综合测试装置
机译:基于可重构计算平台的硬件加速验证设计HDL模型及其测试方法的综合方法。
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。