退出
我的积分:
中文文献批量获取
外文文献批量获取
林梦香; 吴国仕;
北京航空航天大学软件开发环境国家重点实验室,北京,100083;
北京邮电大学软件学院,北京,100875;
模型检查; 程序模型检查; 模型抽取;
机译:对于自旋模型检查器自动转换方法SPIN模型检查器和自动转换方法SPIN模型Testimulator到UML描述从上游设计验证环境到模型检测过程
机译:模型检查使用实时时间逻辑RTCTL及其在真正的微控制器软件应用程序的实时性能
机译:迈向用于高级程序的可伸缩软件模型检查器。
机译:使用基于SAT的有界模型检查器对C程序进行模块化检查
机译:检查运动中智能手机应用程序使用量的决定因素:运动队移动应用程序使用情况的满足模型。
机译:新型立体模型和程序可在立体定向放射外科手术加速器的每日质量检查中提供亚毫米级的精度*
机译:绿色计算:通过模型检查对多处理器流应用程序进行有效的能源管理
机译:大平原aspEN模型开发:气化器模型。文献综述和模型规范。最终专题报告
机译:用于模型检查的脚本转换程序,模型检查程序,用于模型检查的脚本转换装置和模型检查装置
机译:具有多个模型检查器的模型检查装置以及使用该模型检查器的模型检查方法
机译:模型检查装置,模型检查方法以及模型检查程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。