退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:重写逻辑中的实时和混合系统规范
Ölveczky Peter Csaba; Meseguer José;
机译:基于对并行系统正式规范和原型设计的重写逻辑的环境
机译:基于Petri网的多Agent系统模型重写逻辑规范自动生成算法
机译:将自主车辆组控制系统建模为混合自动机及其在重写逻辑的规范和验证
机译:使用Petri网和时间逻辑进行实时系统规范和分析。
机译:在整个C.秀丽隐形神经系统中的神经元识别规范转录调节逻辑的硅分析中
机译:利用逻辑程序设计实时系统
机译:电子控制单元,车辆电子控制系统,重写执行方法,重写执行程序和规范数据的数据结构
机译:电子控制装置,车辆电子控制系统,改写执行控制方法,改写执行控制程序以及规格数据的数据结构
机译:输出对用户界面的规格的实时操作规格计算系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。