退出
我的积分:
中文文献批量获取
外文文献批量获取
王兴; 李茂青; 岳丽丽; 王耀东;
兰州交通大学自动化与电气工程学院;
车地协同; 联锁子系统; 形式化方法; HCPN; 状态空间分析;
机译:具有顺序释放功能的联锁系统的正式建模和验证
机译:基于Hcpn的动态辅助诊断系统的建模与仿真
机译:基于UML和HCPN的联锁系统建模与形式验证
机译:车对车网络的物理层建模和分析。
机译:机械联锁的分子系统编程用于递送抗癌药物
机译:通过HCPN的法国铁路联锁系统的形式化建模方法
机译:验证和验证报告:microwave Office(商标)2002电子系统建模与仿真;最终报告
机译:以组决策支持子系统为输入,建模应用程序开发子系统以及它们之间的桥接子系统的集成过程建模系统
机译:通过参考伙伴关系集访问建模器子系统的设计数据并动态关联建模器子系统的设计数据的系统
机译:联锁数据验证装置和联锁数据设计验证系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。