机译:应用统计方法检查软件要求在优先级处理过程中的成对比较矩阵的一致性
机译:实时过程控制系统的软件需求分析
机译:全球监视和控制:用于全球分布式软件开发团队的流程改进框架
机译:使用UPPAAL在开发过程中早期检查分布式汽车控制软件的实时要求的一致性
机译:使用模型检查工具(Xuppaal和Kronos)验证中型实时软件系统
机译:使用HRPF的激光蛋白质氧化系统实时自由基剂量表和数据处理软件的实时自由基剂量计和数据处理软件
机译:开发基于统计过程控制(SPC)基于Matlab的软件以用于汽车行业