退出
我的积分:
中文文献批量获取
外文文献批量获取
李正明; 沈正; 杨继昌;
江苏理工大学电气信息工程学院;
Petri网; 通讯协议; ActivX控件;
机译:基于Petri网的NORIA协议分析模型
机译:基于可证明的安全性的安全协议分析器的实现
机译:基于协议分析的即时通讯安全监控系统的设计与实现
机译:使用时间Petri网对实时系统进行建模和实现。
机译:统计测试在外科手术研究软件帮助数据收集和协议分析中的实现和验证
机译:基于软件故障树和有色Petri网的规范,基于代理的入侵检测系统的设计和实现
机译:基于组件的移动aD HOC网络路由协议分析与设计
机译:基于扩展Petri网的控制目标系统建模方法及基于扩展Petri网的控制器
机译:基于Petri网和启动推荐器的优化系统及其实现方法。
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。