科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:时间触发的以太网协议的形式验证 ud使用PRISM模型检查器
Ammar Marwan;
机译:带有部分订单减少的可执行LTL模型检查器的形式验证
机译:使用有限状态模型检查器对状态图进行形式验证
机译:时间触发型体系结构的容错启动算法的形式验证:一项调查
机译:使用PRISM模型检查器对时间触发的以太网协议进行形式验证
机译:使用SPIN模型检查器对速度控制策略进行形式验证
机译:一种面向服务的体系结构用于集成遗传监管网络的建模和形式验证
机译:使用棱镜模型检查器正式验证时间触发的以太网协议
机译:使用实时模型检查器UppaaL对电源控制器进行形式验证
机译:一种基于形式语法的可扩展标记语言文档的验证方法,包括由检查者接收文档,并通过使用检查者基于过滤器确定规则
机译:形式验证驱动的电源建模和设计验证
机译:正式验证驱动的功率建模和设计验证
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。