退出
我的积分:
中文文献批量获取
外文文献批量获取
封富君; 林闯; 李俊山;
清华大学计算机科学与技术系;
第二炮兵工程学院计算机系;
西安710025;
着色Petri网; GEO-RBAC; 策略; 验证;
机译:基于有色Petri网的模块化安全策略的形式化规范与验证
机译:使用基于Petri网的安全策略验证并发装配程序
机译:用于安全评估目的的ACAS随机动态着色Petri网模型的开发,验证和应用
机译:基于定时着色Petri网的SCTP关联管理建模与验证
机译:PNetTFV : 有色 Petri网 基于网络 在线固件 功能验证 计划 和实施
机译:基于Petri网和概率模型检查的Internet蠕虫传播建模,仿真与验证方法。
机译:基于随机petri网的aTm信元调度策略性能评估
机译:基于扩展Petri网的控制目标系统建模方法及基于扩展Petri网的控制器
机译:基于随机时间Petri网评估星座备用策略的方法和系统
机译:基于Petri网建模的工业物联网无人机验证方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。