退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:图LED使用IUML-B用于混合动力级别3的正式建模
Dana Dghaym; Michael Poppleton; Colin Snook;
机译:在iUML-B和Event-B中正式形成混合ERTMS 3级规范
机译:使用正式的需求工程方法为ERTMS / ETCS 3级混合标准建模
机译:基于正式改进的混合ERTMS / ETCS 3级标准分析
机译:使用iUML-B进行混合ERTMS 3级图的形式化建模
机译:用于混合控制系统的模型重构的正式验证=混合控制系统的模型重构的正式验证
机译:系统生物学的多层次和混合建模方法
机译:铁路控制系统的正式开发和验证 - 在ERTms / ETCs 2级的背景下
机译:混合系统建模和分析的形式化方法
机译:大型ATM交换网络中性能分析的两级混合建模方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。