AI写作工具
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:时钟限制图复杂实时系统的象征性验证
Farn Wang;
机译:使用定时谓词图基于图的实时系统验证
机译:使用定量符号算法分析和验证实时系统
机译:用于实时系统验证的谓词图
机译:基于图的离散,实时和混合系统验证。
机译:嵌入式实时系统的运行时验证
机译:实时系统全符号验证的区域编码图
机译:验证实时系统的符号近似
机译:用于实现复杂约束的交互式实时检查或验证的方法,系统和制造品
机译:基于验证图的验证方法,装置和系统以及存储介质
机译:基于验证图的验证方法,装置和系统及存储介质
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。