退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:定时自动机的可达性检查认证
Simon Wimmer; Joshua von Mutius;
机译:如何验证安全的实时系统:模型检查和定时自动机在生产单元案例研究中的应用
机译:随机定时自动机的可达性和奖励检查
机译:基于SAT的具有离散数据的定时自动机的可达性检查
机译:经验证的定时自动机可达性检查认证
机译:使用模型检查工具(Xuppaal和Kronos)验证中型实时软件系统
机译:支持适航性认证的无人机飞行控制系统的实时可靠性验证
机译:对定时自动机验证的贡献(自动机网络中的确定,定量验证和可达性)
机译:时间认证设备,时间认证请求接受设备,时间认证方法,时间认证请求接受方法,时间认证程序,时间认证请求接受程序,时间认证,验证和验证
机译:时间认证方法,时间认证审核方法,时间认证系统,审核系统,时间认证程序,时间认证审核程序,时间认证验证程序和程序记录介质
机译:时间认证方法,时间认证审核方法,时间认证设备,审核设备,时间认证程序,时间认证审核程序,时间认证验证程序和程序记录介质
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。