共 50 条
- [2] Formal firewall conformance testing: an application of test and proof techniques [J]. SOFTWARE TESTING VERIFICATION & RELIABILITY, 2015, 25 (01): : 34 - 71
- [5] Industrial application of semantic process mining [J]. ENTERPRISE INFORMATION SYSTEMS, 2012, 6 (02) : 139 - 163
- [6] Protocol conformance testing a SIP registrar: an industrial application of formal methods [J]. SEFM 2007: FIFTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2007, : 215 - +
- [7] Business process mining: An industrial application [J]. INFORMATION SYSTEMS, 2007, 32 (05) : 713 - 732
- [10] DOCUMENTING THE PROCESS OF CONFORMANCE TESTING [J]. MICROPROCESSING AND MICROPROGRAMMING, 1994, 40 (10-12): : 715 - 717