...
机译:可靠的计算机辅助诊断的正式设计方法:综述
Department of Electrical and Computer Engineering, Ngee Ann Polytechnic, Singapore;
Algorithms; artificial neural network (ANN); computer-aided diagnosis; formal methods; infrastructure; reliability; safety critical; systems engineering;
机译:第十届国际计算机辅助设计形式方法会议(FMCAD)
机译:典型和非典型抗精神病药物的计算机辅助药物设计:QSAR和组合化学方法的应用综述-用于新型抗精神病药物设计的工具
机译:高可靠性和安全性设计的计算机辅助故障树分析方法
机译:医学计算机辅助诊断系统的半监督学习方法综述
机译:计算机辅助设计中的形式方法。
机译:乳腺X线照片检测乳腺癌的计算机辅助诊断方法:综述
机译:计算机辅助设计正式设计方法的进展