Model Checking an Artificial Neural Networks System in Medical Diagnosis

Shanghui Yin, Renzhi Xing, Xiangqi Liu, Yinhui Yi, Kai Zheng, Xin Huang

Research output: Chapter in Book or Report/Conference proceedingConference Proceedingpeer-review

1 Citation (Scopus)

Fingerprint

Dive into the research topics of 'Model Checking an Artificial Neural Networks System in Medical Diagnosis'. Together they form a unique fingerprint.

Computer Science