skip to main content

Title: Model Validation Using Invariant Signatures and Logic-Based Inference for Automated Building Code Compliance Checking
Authors:
;
Award ID(s):
1827733
Publication Date:
NSF-PAR ID:
10324513
Journal Name:
Journal of Computing in Civil Engineering
Volume:
36
Issue:
3
ISSN:
0887-3801
Sponsoring Org:
National Science Foundation
More Like this
No document suggestions found