Model Validation Using Invariant Signatures and Logic-Based Inference for Automated Building Code Compliance Checking
Author(s): |
Jin Wu
Jiansong Zhang |
---|---|
Medium: | journal article |
Language(s): | English |
Published in: | Journal of Computing in Civil Engineering, May 2022, n. 3, v. 36 |
DOI: | 10.1061/(asce)cp.1943-5487.0001002 |
- About this
data sheet - Reference-ID
10657538 - Published on:
17/02/2022 - Last updated on:
17/02/2022