...
机译:在iUML-B和Event-B中正式形成混合ERTMS 3级规范
Univ Southampton Elect & Comp Sci Southampton Hants England;
Univ Surrey Dept Comp Sci Guildford Surrey England;
ERTMS; Event-B; iUML-B; Refinement; Validation;
机译:基于正式改进的混合ERTMS / ETCS 3级标准分析
机译:用Electrum验证ERTMS / ETCS 3级混合概念
机译:使用正式的需求工程方法为ERTMS / ETCS 3级混合标准建模
机译:使用iUML-B进行混合ERTMS 3级图的形式化建模
机译:将INA JO最高级别规范转换为吉普赛设计规范。
机译:使受训者有能力提出担忧:报告大学教学医院中不安全人员编制的正式结构
机译:图LED使用IUML-B用于混合动力级别3的正式建模