退出
我的积分:
中文文献批量获取
外文文献批量获取
郝继锋; 叶宏; 任晓瑞;
航空工业西安航空计算技术研究所 陕西 西安710068;
安全关键系统; 机载软件; 形式化方法; 形式化模型; 形式化分析; DO-333; DO-178C;
机译:RISC-V微控制器形式化方法研究
机译:形式化方法研究及在铁路安全设备中的应用
机译:UML形式化分析与有色Petri网相结合的系统建模与验证方法研究
机译:超越财产:哥伦比亚农村财产的形式化和制图国=超过房地产:哥伦比亚和制图国家的农村财产形式化
机译:扩展Backus-Naur形式的标准人类变体命名的形式化描述
机译:用超出标准密度泛函理论的方法研究宽带隙材料中的点缺陷=用超出标准密度泛函理论的方法研究宽带隙材料中的点缺陷
机译:DO-333的正式方法案例研究。
机译:测量形式化设备,测量形式化方法和测量形式化程序
机译:业务形式化程序,业务形式化方法和业务形式化设备
机译:降低形式化水平并从部件面板中发布形式化方法的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。