退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:混合动力系统的多奇异混合Petri网建模与验证
Motallebi Hassan; Azgomi Mohammad Abdollahi;
机译:扩展时间Petri网和混合Petri网:建模多实例动态混合系统
机译:由Petri网建模的具有未知输入和离散动力学的线性混合系统的可观测性。
机译:使用混合Petri网对过程系统中的操作程序进行建模,安全验证和优化
机译:使用标记的混合Petri网对模拟/混合信号电路进行高效建模和验证。
机译:使用彩色混合Petri网和模拟模型检查的空间群体感应建模
机译:使用Petri网进行混合系统的建模和验证
机译:混合系统的验证方法,验证装置和验证计算机程序;混合系统的模型转换方法,模型转换装置和模型转换计算机程序
机译:混合系统验证方法,验证设备,验证计算机程序以及混合系统模型转换方法,转换设备和转换计算机程序
机译:通过使用Petri-Net建模验证工业互联网系统中包含的无人机的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。