Publication | Open Access

Towards the adoption of automated regulatory compliance checking in the built environment

Built EnvironmentRegulatory ApprovalCompliance ManagementEngineeringSoftware TestingVerificationFormal MethodsLawSoftware EngineeringSystems EngineeringRegulatory ComplianceSoftware AnalysisConformance CheckingFormal VerificationRegulatory RequirementRegulationRegulatory Environment