Model Validation Using Invariant Signatures and Logic-Based Inference for Automated Building Code Compliance Checking
Autor(en): |
Jin Wu
Jiansong Zhang |
---|---|
Medium: | Fachartikel |
Sprache(n): | Englisch |
Veröffentlicht in: | Journal of Computing in Civil Engineering, Mai 2022, n. 3, v. 36 |
DOI: | 10.1061/(asce)cp.1943-5487.0001002 |
- Über diese
Datenseite - Reference-ID
10657538 - Veröffentlicht am:
17.02.2022 - Geändert am:
17.02.2022