...
机译:可测试性和可观察性框架,以确保系统系统系统的可追溯性要求
Univ Seville Dept Languages & Comp Syst Web Engn & Early Testing IWT2 Grp Seville Spain;
Univ Seville Dept Languages & Comp Syst Web Engn & Early Testing IWT2 Grp Seville Spain|CNR Pisa Italy;
Univ Seville Dept Languages & Comp Syst Web Engn & Early Testing IWT2 Grp Seville Spain;
Univ Seville Dept Languages & Comp Syst Web Engn & Early Testing IWT2 Grp Seville Spain;
Univ Seville Dept Languages & Comp Syst Web Engn & Early Testing IWT2 Grp Seville Spain;
System of Systems (SoS); traceability; framework;
机译:SimTester:嵌入式系统的可控制和可观察的测试框架
机译:基于软件检查,需求可追溯性和正式规范的NPP安全关键系统的软件需求分析的有效技术
机译:从可观察的时间轨迹识别开放量子系统
机译:创建安全需求可追溯性,以确保和重新认证旧版安全关键系统
机译:分析需求声明质量以确保所需的系统性能
机译:医院信息系统的技术要求框架:设计和评估
机译:可观察和可控的测试框架 现代系统