共 50 条
- [31] Model checking conformance with scenario-based specifications [J]. COMPUTER AIDED VERIFICATION, 2003, 2725 : 328 - 340
- [32] Sotograph -: A pragmatic approach to source code architecture conformance checking [J]. SOFTWARE ARCHITECTURE, 2004, 3047 : 1 - 9
- [33] Conformance Checking Method for Process Text [J]. Ruan Jian Xue Bao/Journal of Software, 2024, 35 (10): : 4696 - 4709
- [34] Scalable process discovery and conformance checking [J]. SOFTWARE AND SYSTEMS MODELING, 2018, 17 (02): : 599 - 631
- [35] Conformance Checking with Uncertainty via SMT [J]. BUSINESS PROCESS MANAGEMENT (BPM 2022), 2022, 13420 : 199 - 216
- [36] Impact-Aware Conformance Checking [J]. BUSINESS PROCESS MANAGEMENT WORKSHOPS (BPM 2019), 2019, 362 : 147 - 159
- [37] Encoding Conformance Checking Artefacts in SAT [J]. BUSINESS PROCESS MANAGEMENT WORKSHOPS (BPM 2019), 2019, 362 : 160 - 171
- [38] Conformance Checking using Formal Methods [J]. ICSOFT-EA: PROCEEDINGS OF THE 11TH INTERNATIONAL JOINT CONFERENCE ON SOFTWARE TECHNOLOGIES - VOL. 1, 2016, : 258 - 263
- [39] Conformance Checking: Relating Processes and Models [J]. ADVANCED INFORMATION SYSTEMS ENGINEERING (CAISE 2019), 2019, 11483 : 700 - 700
- [40] Earth Movers' Stochastic Conformance Checking [J]. BUSINESS PROCESS MANAGEMENT FORUM, BPM FORUM 2019, 2019, 360 : 127 - 143