Department of Computer and Information Sciences University of North Florida Jacksonville, FL 32224;
机译:基于软件检查,需求可追溯性和正式规范的NPP安全关键系统的软件需求分析的有效技术
机译:基于软件检查,需求可追溯性和容错性,分析安全关键系统软件需求的集成技术。
机译:可测试性和可观察性框架,以确保系统系统系统的可追溯性要求
机译:小型系统的前端需求可追溯性
机译:身份保护和可追溯性:从谷物角度(农业质量体系的状态/可追溯性/认证体系)的最新状态。
机译:前封面:采用混合和加载技术通过混合介孔二氧化硅材料结合荧光探针在痕量水平下混合和读取汞(II)(ChemistryOpen 12/2018)
机译:网络物理系统需求验证中可追溯性和影响分析的综合框架