Computer programs; Army facilities; Software engineering; Military requirements; Lessons learned; Computer aided design; Army corps of engineers; Project management;
机译:新北市建筑设计审查规范化检查系统逻辑化方法研究
机译:新北市建筑设计审查规范化检查系统逻辑化方法研究
机译:设计评论:设计检查要点
机译:语法错误检查系统:方法和新兴方向的回顾
机译:使用模型检查和Petri网设计和分析系统。
机译:智能破译难以理解的设计:系统生物学中的算法代数模型检查
机译:设计评论和检查系统(Drchecks)