...
机译:促进候选链接生成以进行需求跟踪:方法研究
formal specification; formal verification; software tools; RETRO tool; Requirements Tracing On-target tool; dynamic candidate link generation; independent validation analysis; independent verification analysis; Independent Validation and Verification (IVV);
机译:碳纳米管的生物分布研究和追踪方法学进展
机译:基于射线追踪的时差有限域法在共形结构网格生成中的角奇异性研究
机译:风力发电并网发电的交流环节和直流环节方法研究
机译:增强用于需求跟踪的候选链接生成:重新审视集群假设
机译:推进建筑集成热电发电系统的设计规模和性能优化方法
机译:功能注释的通用性:从全基因组连锁研究中优先选择候选基因的方法
机译:1推进需求追踪的候选链接生成:方法研究
机译:将就业教育要求与候选人的教育程度相匹配 - 试点方法论研究。