Siemens C.N.X. S.p.A., R. D. Strada Statale 17, L'Aquila, Italy;
机译:基于可测性度量的ADTEM体系结构设计可测性评估模型,用于评估软件体系结构
机译:芯片多处理器在线测试的硬件/软件协同设计架构
机译:使用软件架构进行代码测试
机译:Mo Del-Checking Plus测试:从软件架构分析到代码测试
机译:SAE体系结构分析和设计语言(AADL)的软件可测试性度量
机译:使用ASTEC和MELCOR代码对PhébusFPT测试进行独立收容分析:FPT-2测试
机译:模型检查和测试:从软件体系结构分析到代码测试