退出
我的积分:
中文文献批量获取
外文文献批量获取
吕江花; 马世龙; 李先军; 高世伟;
软件开发环境国家重点实验室(北京航空航天大学计算机学院);
北京 100191;
安全苛刻系统; 测试; 自动化测试; 设备协同; 高阶演算; 标记转换系统; 实时;
机译:基于统一语义模型的反应系统形式化开发方法
机译:基于语义-语义模型的自然语言几何问题的自动理解和形式化
机译:MSA的新型Galaxy〜R GX2自动化测试系统可提供先进的安全管理和轻松的操作。
机译:符合SIL进行转换设计的形式化语义模型
机译:基于形式化方法的移动操作系统安全体系结构设计与分析
机译:快速自动化测试系统未检测到亚胺培南易感耐美罗培南的肺炎克雷伯菌分离株对美罗培南的耐药性
机译:使用Likmi集线器应用程序的自动化测试系统测试功能,性能和安全性
机译:规划网:程序化技术的类比和语义模型的形式化表示。
机译:电梯安全制动系统的自动化测试方法及电梯制动测试系统
机译:测量形式化设备,测量形式化方法和测量形式化程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。