共 50 条
- [41] An application of explanation-based learning to protocol conformance testing Geldrez, Cecilia, 1600, (05):
- [42] Implementation of TCP/IP-IEEE488.1 interface specification PROCEEDINGS OF THE THIRD INTERNATIONAL SYMPOSIUM ON INSTRUMENTATION SCIENCE AND TECHNOLOGY, VOL 3, 2004, : 1184 - 1188
- [43] Conformance Testing of the STP-ISS Protocol Implementation by Means of Temporal Logic PROCEEDINGS OF THE 2017 21ST CONFERENCE OF OPEN INNOVATIONS ASSOCIATION (FRUCT), 2017, : 71 - 78
- [44] First Class Futures: Specification and Implementation of Update Strategies EURO-PAR 2010 PARALLEL PROCESSING WORKSHOPS, 2011, 6586 : 295 - 303
- [45] The Study and Application of Protocol Conformance Testing Based on TTCN-3 PROCEEDINGS OF INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND INFORMATION TECHNOLOGY (CSAIT 2013), 2014, 255 : 791 - 798
- [46] Process Mining Techniques in Conformance Testing of Inventory Processes: An Industrial Application BUSINESS INFORMATION SYSTEMS WORKSHOPS, BIS 2013, 2013, 160 : 302 - 313
- [47] Protocol conformance testing a SIP registrar: an industrial application of formal methods SEFM 2007: FIFTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2007, : 215 - +
- [49] FORMAL SPECIFICATION, VALIDATION AND IMPLEMENTATION OF AN APPLICATION PROTOCOL WITH ESTELLE IFIP TRANSACTIONS C-COMMUNICATION SYSTEMS, 1992, 2 : 361 - 376