Publication | Closed Access
A semantic rule checking environment for building performance checking
267
Citations
10
References
2010
Year
EngineeringSemantic RuleRuntime VerificationProgram AnalysisAutomated ReasoningSoftware TestingVerificationRule LanguageFormal MethodsSoftware AnalysisComputer ScienceModel CheckingFormal VerificationSystem Software
| Year | Citations | |
|---|---|---|
Page 1
Page 1