共 10 条
[1]
Barros A, 2000, LECT NOTES COMPUT SC, V1939, P62
[2]
Automatic Synthesis of Behavior Protocols for Composable Web-Services
[J].
7TH JOINT MEETING OF THE EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND THE ACM SIGSOFT SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING,
2009,
:141-150
[3]
Decker G, 2008, LECT NOTES COMPUT SC, V5364, P331, DOI 10.1007/978-3-540-89652-4_26
[4]
Reverse engineering Web applications: the WARE approach
[J].
JOURNAL OF SOFTWARE MAINTENANCE AND EVOLUTION-RESEARCH AND PRACTICE,
2004, 16 (1-2)
:71-101
[5]
Hassen RR, 2008, LECT NOTES COMPUT SC, V5364, P38, DOI 10.1007/978-3-540-89652-4_7
[6]
On Handling Data in Automata Learning Considerations from the CONNECT Perspective
[J].
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT II,
2010, 6416
:221-+
[7]
Kumaran S, 2008, LECT NOTES COMPUT SC, V5074, P32
[9]
Motahari-Nezhad H, 2007, PROC INT CONF DATA, P1472
[10]
Wei F., 2015, LECT NOTES COMPUTER