共 50 条
- [31] Checking the Conformance of Requirements in Agent Designs Using ATL ECAI 2016: 22ND EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2016, 285 : 243 - 251
- [32] Behavior-based Architecture Reconstruction and Conformance Checking 2016 13TH WORKING IEEE/IFIP CONFERENCE ON SOFTWARE ARCHITECTURE (WICSA), 2016, : 152 - 157
- [36] Regression with Cost-based Rejection ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 36 (NEURIPS 2023), 2023,
- [37] Cost-based QoS routing ICCCN 2003: 12TH INTERNATIONAL CONFERENCE ON COMPUTER COMMUNICATIONS AND NETWORKS, PROCEEDINGS, 2003, : 485 - 490
- [39] Model Checking Based Conformance Testing for Web Applications PROCEEDINGS OF THE 2012 THIRD WORLD CONGRESS ON SOFTWARE ENGINEERING (WCSE 2012), 2012, : 51 - 56
- [40] Conformance Checking Based on Partially Ordered Event Data BUSINESS PROCESS MANAGEMENT WORKSHOPS( BPM 2014), 2015, 202 : 75 - 88