共 50 条
- [31] Distributed Process Discovery and Conformance Checking FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2012, 2012, 7212 : 1 - 25
- [32] A tool for checking conformance of UML specification World Academy of Science, Engineering and Technology, 2009, 39 : 275 - 279
- [34] Conformance Checking of Dynamic Access Control Policies FORMAL METHODS AND SOFTWARE ENGINEERING, 2011, 6991 : 227 - 242
- [37] Evaluation of an Architectural Conformance Checking Software Service ACM PROCEEDINGS OF THE 10TH EUROPEAN CONFERENCE ON SOFTWARE ARCHITECTURE WORKSHOPS (ECSA-W), 2016,
- [40] Optimizing Post-silicon Conformance Checking 2013 IEEE 31ST INTERNATIONAL CONFERENCE ON COMPUTER DESIGN (ICCD), 2013, : 499 - 502