机译:一种基于多层转换从UML 2序列图中验证自动生成Buechi自动机的技术
机译:基于程序几何建模的循环和数据重用转换自动验证技术
机译:在滑坡风险预测模型的框架内应用自动并行化技术的数值分析和识别自动并行化技术的相关验证
机译:模型转换的自动验证技术
机译:使用图文法技术将UML软件规范自动转换为LQN性能模型
机译:手工和半自动18F PSMA-1007 PET基因型肿瘤划分技术对患有原发性前列腺癌患者的肺静压肿瘤划分及组织病理学验证作为参考标准
机译:基于程序几何建模的循环和数据重用转换自动验证技术