Iowa State University.;
机译:自动化建筑能源系统建模和分析:基于SysML和模型转换的方法
机译:BuildCom:自动审计和下一代建筑管理系统的连续调试
机译:用于监控工程(承重)结构和自然灾害的楼宇自动化系统的方法论,以确保建筑物和建筑物的全面安全
机译:使用自动定理证明器验证自动生成的航空软件
机译:自动化威尼斯百叶窗和照明融入办公楼自动化系统:全面检测和经济分析
机译:从详细的3D移动监控系统和建筑自动化系统中收集的使用三级建筑物的数据集用于室内和室外空气温度分析
机译:使用自动定理证明器验证自动生成的航空软件
机译:使用BLasT进行自动化建筑设计评审。 (建筑荷载分析和系统热力学)