The University of Alabama in Huntsville.;
机译:验证软件需求:需求跟踪方法及其软件工具/ spl minus / RADIX
机译:以伦理价值为中心的网络安全:基于值图的方法
机译:一种基于模型的安全合同和性能要求的方法
机译:洪水频率预测:识别结构不确定性的方法论。
机译:基于等效验证的异步睡眠会议逻辑电路的正式验证方法
机译:研究过程验证的工业方法论(IMPROVER):系统生物学验证
机译:用Metacsl规范和验证高级要求的方法
机译:分级航天器的以价值为中心的设计方法:DaRpa系统F6计划第一阶段的进展总结