...
机译:基于改进的正式规范的变更影响分析
formal methodformal specificationimpact analysisrefinementevent-Bmodification support;
机译:广播协议的正式规范和验证:基于改进的方法
机译:基于细化的分离核规范和安全性分析
机译:基于正式改进的混合ERTMS / ETCS 3级标准分析
机译:一种从基于细化的对象代码验证的要求中综合正式规范模型的方法
机译:具有用例图的规范级变更影响分析。
机译:正式交换MIM图的正式MIM规范和工具:基于XML的格式API和验证方法
机译:改变基于改进的形式规范的影响分析