退出
我的积分:
中文文献批量获取
外文文献批量获取
徐享忠; 王精业; 荆涛;
装甲兵工程学院;
Petri网; 统一建模语言; 交互; 行为建模; 自动柜员机;
机译:在系统建模中将UML映射到Petri网的研究
机译:结合UML-MARTE和抢占时间Petri网:工业案例研究
机译:用模糊Uml到模糊Petri网建模序列图以计算可靠性参数
机译:UML形式化分析与有色Petri网相结合的系统建模与验证方法研究
机译:使用轮廓/过渡网(PETRI网,规范,验证)对并发系统进行建模和分析
机译:使用Petri网建模方法分析阿尔茨海默氏病中神经元通路的行为
机译:基于Petri网的X3D内容用户交互形式化建模方法。
机译:结合符号和偏序方法进行模型检查1-安全petri网
机译:基于扩展Petri网的控制目标系统建模方法及基于扩展Petri网的控制器
机译:研究Petri网的装置
机译:Petri网建模的事物系统工业互联网中包含的无人机验证方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。