...
机译:如何使用数量级少的代码构建静态检查系统
Stanford University;
Stanford University;
Stanford University;
Micro-grammars; Parsing; Bug Finding; Static Analysis;
机译:如何使用数量级少的代码构建静态检查系统
机译:建筑系统给排水标准的规定方面及其与基于BIM的代码检查的关系
机译:建筑法规的计算机表示,用于自动合规性检查
机译:基于OpenBim的构建权限构建守则检查系统的方法论
机译:设计建筑围护结构时自动进行代码合规性检查
机译:静态拉伸腿筋肌以预防足球法规中的伤害:系统评价
机译:如何使用数量级的代码构建静态检查系统
机译:商业建筑数据系统的现场仪表检查。总结报告