共 50 条
- [33] Checking security compliance between models and code SOFTWARE AND SYSTEMS MODELING, 2023, 22 (01): : 273 - 296
- [34] Checking security compliance between models and code Software and Systems Modeling, 2023, 22 : 273 - 296
- [35] A hybrid prescriptive-/performance-based approach to automated building code checking COMPUTING IN CIVIL ENGINEERING, 1998, : 537 - 548
- [36] Building Information Modeling Based Automated Building Regulation Compliance Checking Asp.net Web Software INTELLIGENT AUTOMATION AND SOFT COMPUTING, 2021, 28 (01): : 11 - 25
- [39] Policy-Based Automated Compliance Checking RULES AND REASONING, RULEML+RR 2021, 2021, 12851 : 3 - 17