机译:混合事件-B的自动城市列车控制:解决橄榄球俱乐部问题
机译:橄榄球粉丝在培训新西兰(Rufit-NZ):随机对照试验的议定书,以评估通过新西兰的专业橄榄球俱乐部提供的超重男性的健康生活方式计划的有效性和成本效益
机译:橄榄球迷在培训新西兰(Rufit-NZ):通过新西兰的专业橄榄球俱乐部提供的超重男性的一个健康生活方式计划的试点随机对照试验
机译:自动化城市火车控制中的问题:“解决”橄榄球俱乐部问题
机译:自动公路系统中车辆的横向控制中的鲁棒性和性能问题。
机译:新西兰橄榄球迷训练(RUFIT-NZ):一项协议通过一项随机对照试验评估通过新西兰专业橄榄球俱乐部提供的针对超重男性的健康生活方式计划的有效性和成本效益
机译:用Hybrid Event-B的自动化城市列车控制:'解决'橄榄球俱乐部问题