退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:铁路时刻表的正式验证 - 使用UPPAAL模型检查器
Anne E. Haxthausen; Kristian Hede;
机译:带有部分订单减少的可执行LTL模型检查器的形式验证
机译:使用有限状态模型检查器对状态图进行形式验证
机译:使用UPPAAL的系统的正式规范和验证:以防御型导弹系统为例
机译:铁路时刻表的正式验证-使用UPPAAL模型检查器
机译:使用SPIN模型检查器对速度控制策略进行形式验证
机译:一种面向服务的体系结构用于集成遗传监管网络的建模和形式验证
机译:使用实时模型检查器UPPAAL对电源控制器进行形式验证
机译:使用实时模型检查器UppaaL对电源控制器进行形式验证
机译:一种基于形式语法的可扩展标记语言文档的验证方法,包括由检查者接收文档,并通过使用检查者基于过滤器确定规则
机译:形式验证驱动的电源建模和设计验证
机译:正式验证驱动的功率建模和设计验证
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。