退出
我的积分:
中文文献批量获取
外文文献批量获取
范昊; 吴哲辉; 曾庆田;
中国科学院计算技术研究所智能信息处理开放实验室;
北京;
100080;
山东科技大学信息与工程学院;
青岛;
266510;
协议验证; 形式化分析; 时延Petri网; 协议性能评估; 0-1停止等待协议;
机译:一种基于Petri网的工作流过程模型正确性的有效验证方法
机译:一种基于Petri网的工作流过程模型正确性的有效验证方法(英文)
机译:应用基于Petri网的约简方法验证工作流模型的正确性
机译:基于Petri网实现协议性能评估和验证的方法
机译:开发基于链空间的模型并证明具有受限安全目标的IEEE 802.11i身份验证协议的正确性
机译:严格的神经网络仿真:在缺乏实验验证数据的情况下提高仿真结果正确性的模型验证方法
机译:彩色随机petri网(Cs-pn)软件:在分布式系统的验证和性能评估中的应用
机译:协议协议方法,协议验证方法,协议协议系统,协议验证装置,协议协议装置,协议协议程序和协议验证程序
机译:合同协议方法,协议验证方法,合同协议系统,协议验证设备,合同协议设备,合同协议程序和协议验证程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。