退出
我的积分:
中文文献批量获取
外文文献批量获取
樊浩; 黄树彩;
空军工程大学;
导弹学院;
陕西;
三原;
713800;
Petri 网; 概念模型验证; CPN Tools; 防空导弹作战过程;
机译:验证跨行业共享决策方法的概念模型:混合方法研究。
机译:基于模糊Petri网的概念模型在中小企业资源规划采购决策中的风险预测
机译:基于模糊Petri网的概念模型在中小企业资源规划采购决策中的风险预测科学出版物
机译:装备维修保障仿真概念模型动力作用验证方法研究
机译:PNetTFV : 有色 Petri网 基于网络 在线固件 功能验证 计划 和实施
机译:验证跨行业共享决策方法的概念模型:混合方法研究
机译:计算科学:基于petri网展开的并行LTL-X模型检验的可预测性验证
机译:基于扩展Petri网的控制目标系统建模方法及基于扩展Petri网的控制器
机译:基于Petri网建模的工业物联网无人机验证方法
机译:使用动态抽象概念模型进行程序验证和可视化
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。