...
机译:基于细化的事件B规范验证
Software Competence Ctr Hagenberg, Hagenberg Im Muhlkreis, Austria;
LORIA, Lorraine, France|Univ Vandoeuvre Nancy, Lorraine, France;
Formal methods; Refinement; Model validation; Event-B;
机译:广播协议的正式规范和验证:基于改进的方法
机译:基于改进的正式规范的变更影响分析
机译:基于细化的分离核规范和安全性分析
机译:使用仿真验证事件B规范的案例
机译:通过实验和模拟验证底盘产品部门的规格。
机译:基于残差的方法来验证Q矩阵规范
机译:使用模拟验证事件B的案例