机译:Event-B中用于事件细化结构的语言和工具支持
Univ Southampton, Sch Elect & Comp Sci, Elect & Software Syst Grp, Southampton SO17 1BJ, Hants, England;
Univ Southampton, Sch Elect & Comp Sci, Elect & Software Syst Grp, Southampton SO17 1BJ, Hants, England;
Univ Southampton, Sch Elect & Comp Sci, Elect & Software Syst Grp, Southampton SO17 1BJ, Hants, England;
Event refinement structure; Atomicity decomposition; Event-B; Formal method; Control flow; Refinement;
机译:Event-B模型中细化结构的保持一致性重构
机译:事件-B型号中细化结构的一致性重构
机译:事件B优化中算法控制结构的推导
机译:事件B中事件细化结构的图形工具
机译:完善测试套件的方法和工具支持。
机译:QRNAS:完善核酸结构的软件工具
机译:Event-B中事件细化结构的语言和工具支持