University of Southampton, Southampton, U.K.;
Systerel, Aix-en-Provence, France;
ETH Zurich, Zurich, Switzerland;
University of Southampton, Southampton, U.K.;
event-b; decomposition; shared event; shared variable; formal methods;
机译:Event-B中规范分解方法的比较
机译:事件B分解研究
机译:离散模型的细化,分解和实例化:在事件B中的应用
机译:寻求事件B中的细化分解方法
机译:正交分解作为设计工具:应用于混合叶轮。
机译:使用Event-B对不精确的系统要求进行形式化分析
机译:事件B的分解工具