共 8 条
[1]
DANIEL K, 2003, FORMAL VERIFICATION
[2]
EDWARDS SH, 1995, FORMAL MODEL SOFTWAR
[3]
JIA Y, 2002, EVOLUTINARY COMPONEN
[5]
Mili H., 2002, Reuse-based Software Engineering Techniques, Organizations, and Controls
[6]
PING AI, 2002, RES FORMAL METHOD DE
[7]
WEBER H, 2002, T SDPS J INTEGRATED, V6, P1
[8]
ZHANG GW, 2003, J SOFTWARE, V14, P1345