Publication | Closed Access

Logic for ensuring the data exchange integrity of building information models

EngineeringInformation SecurityVerificationFormal VerificationInformation ModelData IntegrityManagementData IntegrationData ManagementData Exchange IntegrityData PrivacyBuilding Information ModellingInformation ManagementData SecurityData ValidationBuilding Information ModelsAutomated ReasoningFormal MethodsData ModelingIntegrity Verification