SAFETY OF COMPUTER CONTROL SYSTEMS 1989 SAFECOMP’89
R.GENSER，E.SCHOITSCH AND P.KOPACEK2222 年出版149 页ISBN：0080375359
Lecture Notes in Computer Science 4468 Formal Methods for Open Object-Based Distributed Systems 9th
2007 年出版317 页ISBN：9783540729198
Lecture Notes in Computer Science 3535 Formal Methods for Open Object-Based Distributed Systems 7th
FMOODS 20052005 年出版321 页ISBN：3540261818
Lecture Notes in Computer Science 4037 Formal Methods for Open Object-Based Distributed Systems 8th
FMOODS 20062006 年出版267 页ISBN：354034893X
COMPUTER SOFTWARE STRUCTURESINTEGRATING AI/KBS SYSTEMS IN PROCESS CONTROL
2222 年出版224 页ISBN：0080423604
Computer control of flexible manufacturing systems Research and development
1994 年出版478 页ISBN：0412562006
COMPUTER CONTROL SYSTEMS FOR LOG PROCESSING AND LUMBER MANUFACTURING
ED M.WILLISTON1985 年出版414 页ISBN：0879301635
Computer-Aided Design of Feedback Control Systems for Time Response
Clarence J Maday1978 年出版127 页ISBN：
Lecture Notes in Computer Science 1386 Hybrid Systems:Computation and Control First International Wo
HSCC981998 年出版415 页ISBN：3540643583
Lecture Notes in Computer Science 3927 Hybrid Systems:Computation and Control 9th International Work
HSCC 20062006 年出版583 页ISBN：3540331700
