Publication | Closed Access

Automatic rule-based checking of building designs

Architectural DesignEngineeringPerformance-based Building DesignAutomatic Rule-based CheckingDesignVerificationFormal MethodsConstruction ManagementBuilding TechnologyFormal VerificationBuilding DesignSocial Sciences