Publication | Open Access
Graph-based ontology reasoning for formal verification of BREEAM rules
24
Citations
40
References
2018
Year
Formal SpecificationEngineeringAutomated ReasoningVerificationFormal MethodsFormal TechniqueComputer ScienceFormal SystemSemantic WebFormal VerificationBreeam Rules
| Year | Citations | |
|---|---|---|
Page 1
Page 1