Complementary Methodologies; Developing Hybrid Systems; Event-B;
机译:使用Event-B模拟混合系统时序约束的建模
机译:使用Event-B和Rodin平台使混合系统正式化
机译:用于开发归档系统的迭代混合敏捷方法
机译:开发具有事件B的混合系统的补充方法
机译:基于带宽的方法,用于设计具有受限全电动模式的串联混合动力电动汽车的混合动力储能系统。
机译:研究人类肠道菌群在宿主健康中的补充方法致力于整合系统生物学
机译:事件B和混合事件B中的混合系统建模:水箱的比较
机译:开发军用混合动力汽车热管理系统评估方法