共 50 条
- [2] Checking Regulatory Compliance: Will We Live to See It? [J]. BUSINESS PROCESS MANAGEMENT (BPM 2019), 2019, 11675 : 119 - 138
- [4] Checking Regulatory Compliance of Business Processes and Information Systems [J]. SOFTWARE AND DATA TECHNOLOGIES, 2011, 50 : 71 - +
- [7] Design automation - The value of sequential equivalence checking [J]. ELECTRONIC ENGINEERING, 1999, 71 (869): : 22 - +
- [8] Towards Product Design Automation based on Parameterized Standard Model with Diversiform Knowledge [J]. ADVANCES IN ENERGY SCIENCE AND ENVIRONMENT ENGINEERING, 2017, 1829
- [9] Circuit design compliance checking in VLSI circuits [J]. NINTH ANNUAL IEEE INTERNATIONAL ASIC CONFERENCE AND EXHIBIT, PROCEEDINGS, 1996, : 167 - 170