Recent Progresses in Nanobiosensing for Food Safety Analysis.

Tao Yang Huifen Huang Fang Zhu Qinlu Lin Lin Zhang Junwen Liu

Published in: Sensors (2016)

Keyphrases

safety analysis
nuclear power plant
safety critical
control system
symbolic model checking
fault model
dynamic programming