共 50 条
- [31] Checking the Conformance of a Promela Design to its Formal Specification in Event-B [J]. FORMAL TECHNIQUES FOR SAFETY-CRITICAL SYSTEMS, FTSCS 2014, 2015, 476 : 110 - 126
- [32] Efficient Approximate Conformance Checking Using Trie Data Structures [J]. 2021 3RD INTERNATIONAL CONFERENCE ON PROCESS MINING (ICPM 2021), 2021, : 1 - 8
- [34] Construction of a Frailty Indicator with Partially Ordered Sets: A Multiple-Outcome Proposal Based on Administrative Healthcare Data [J]. Social Indicators Research, 2022, 160 : 989 - 1017
- [35] Weighted Violations in Alignment-Based Conformance Checking [J]. PROCESS MINING WORKSHOPS, ICPM 2022, 2023, 468 : 289 - 301
- [37] A sniffer based approach to WS protocols conformance checking [J]. ISPDC 2006: FIFTH INTERNATIONAL SYMPOSIUM ON PARALLEL AND DISTRIBUTED COMPUTING, PROCEEDINGS, 2006, : 58 - +
- [38] Behavior-based Architecture Reconstruction and Conformance Checking [J]. 2016 13TH WORKING IEEE/IFIP CONFERENCE ON SOFTWARE ARCHITECTURE (WICSA), 2016, : 152 - 157
- [40] Model Checking Based Conformance Testing for Web Applications [J]. PROCEEDINGS OF THE 2012 THIRD WORLD CONGRESS ON SOFTWARE ENGINEERING (WCSE 2012), 2012, : 51 - 56