共 42 条
[1]
ANDERSEN DM, 2003, DESIGN MANUFACTURABI
[2]
[Anonymous], 2001, Model checking
[3]
Bandera C, 2005, CISM COUR L, P607
[4]
BANDERA C, 2005, P C INT 17 ING 15 AD
[5]
BANDERA C, 2004, P 14 ADM 33 AIAS IT
[7]
Berard B., 2001, Sys- tems and Software Verification, Model-Checking Techniques and Tools
[8]
BOOTHROYD G, 2002, PRODUCT DESGIN MANUF
[9]
Bosch J.A., 1995, COORDINATE MEASURING
[10]
Bralla J.G., 1997, Design for manufacturability handbook