共 50 条
- [32] Minimum distance model checking in Berkson measurement error models with validation data TEST, 2019, 28 : 879 - 899
- [34] ValiFrag: validation of fragments during automated protein model building. ACTA CRYSTALLOGRAPHICA A-FOUNDATION AND ADVANCES, 2013, 69 : S296 - S296
- [36] Model building and model checking for biochemical processes Cell Biochemistry and Biophysics, 2003, 38 : 271 - 286
- [37] Model checking approach to automated planning Formal Methods in System Design, 2014, 44 : 176 - 202
- [40] A Machine-Learning Approach for Semantic Matching of Building Codes and Building Information Models (BIMs) for Supporting Automated Code Checking RECENT RESEARCH IN SUSTAINABLE STRUCTURES, 2020, : 64 - 73