A web-based application for validating IFC (Industry Foundation Classes) models against common issues and IDS (Information Delivery Specification) requirements. The Model Checker helps ensure ...
Section Publications provides an overview of the publications that describe the theoretical foundations of this work. Section Overview provides an overview on SOCRaTEs. Section Installation and ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results