Model Validation Using Invariant Signatures and Logic-Based Inference for Automated Building Code Compliance Checking
Auteur(s): |
Jin Wu
Jiansong Zhang |
---|---|
Médium: | article de revue |
Langue(s): | anglais |
Publié dans: | Journal of Computing in Civil Engineering, mai 2022, n. 3, v. 36 |
DOI: | 10.1061/(asce)cp.1943-5487.0001002 |
- Informations
sur cette fiche - Reference-ID
10657538 - Publié(e) le:
17.02.2022 - Modifié(e) le:
17.02.2022