Login / Signup

Model Validation Using Invariant Signatures and Logic-Based Inference for Automated Building Code Compliance Checking.

Jin WuJiansong Zhang
Published in: J. Comput. Civ. Eng. (2022)
Keyphrases