退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:使用正式模式验证和验证汽车控制软件的工具集
Yunja CHOI; Dongwoo KIM;
机译:使用形式化模式验证和验证汽车控制软件的工具集
机译:用于实时控制算法设计和验证的技术和软件工具集
机译:端到端正式规范,验证和验证过程:太空飞行软件的案例研究
机译:使用基于仪表的验证来验证汽车控制软件
机译:基于组件的方法来验证和确认正式软件模型。
机译:用于预处理验证单同定位定向术前肠外放射外科手术的虚拟水幻像软件的验证
机译:将基于UML的形式规范,验证和验证应用于太空飞行控制系统和防御软件
机译:用于自动控制软件的形式验证的装置和记录介质的方法,用于执行该方法
机译:设备正式验证一致性管理软件系统微控制器设计规范
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。