聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
会议论文 IFC模型中建筑信息的描述与获取方法
出处:第九届建筑业企业信息化应用发展研讨会
摘要:IFC是国际建筑业事实上的数据标准,是建筑行业数据交换的共享平台,它通过对建筑的各方面的信息以统一的标准... 显示全部
关键词: 模型 建筑信息 工程项目 建筑构件 一致性测试 数据交换
会议论文 基于模型检测的可信软件栈测试
出处:2010年第四届中国可信计算与信息安全学术会议
摘要:基于模型检测理论,提出了一种可信软件栈的测试方法,使用计算树逻辑对可信软件栈的函数调用进行抽象描述,通... 显示全部
关键词: 可信计算平台 可信软件栈 模型检测 计算树逻辑 一致性测试
找到2条结果
`