退出
我的积分:
中文文献批量获取
外文文献批量获取
拓明福; 周兴社; 李嘉林; 李辉;
西北工业大学计算机学院;
空军工程大学理学院;
信息物理系统; 模型验证; 混成自动机; 混合程序; 模型转换;
机译:基于离散元法和细胞自动机的颗粒冲击阻尼器颗粒行为建模方法
机译:基于定时自动机的电子学习域的无监督行为建模
机译:基于概率有限自动机的行为建模:一项实证研究?
机译:基于通信定时自动机的实时多任务应用属性的时间验证
机译:基于Web的系统的用户行为建模,以进行连续的用户身份验证。
机译:基于概率有限自动机的行为建模:一项实证研究
机译:分布式系统行为建模和基础设施运行的正式验证与有限状态自动机的组成方法:应用于查看水道中功能验证的应用
机译:基于自动机的运行程序时间属性验证
机译:PH20CP- PH20CP-便携式水和气候生产系统
机译:加密属性证书颁发方法,属性验证方法,属性验证支持方法,属性验证设备,属性验证设备,属性验证支持设备,加密参数,存储空间,存储空间
机译:软件行为建模设备,软件行为建模方法,软件行为验证设备和软件行为验证方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。