机译:基于验证的面向源代码的软件可信性度量
Zhengzhou Univ Light Ind Coll Comp & Commun Engn Zhengzhou Henan Peoples R China;
Zhengzhou Univ Light Ind Coll Energy & Power Engn Zhengzhou Henan Peoples R China;
机译:基于验证的面向源代码的软件可信性度量
机译:基于验证的面向源代码的软件可信性度量
机译:软件可信性2.0:启用语义Web的全局源代码分析方法
机译:基于可信赖属性分解的软件可信赖性度量及其验证
机译:制定和验证量表,以衡量教师对健康和行为科学中基于概念或以改革为导向的统计学入门教学态度
机译:临床措施的统计验证:基于Kinect™的软件的可重复性和一致性
机译:从一组类似软件的面向对象源代码中挖掘可重用软件组件
机译:源代码分析器使用软件科学措施预测航空电子软件的编译时间。第1卷。主要报告