Sign in
Eat, but Verify: Low-Cost Portable Devices for Food Safety Analysis.
Naren Vikram Raj Masna
Shubhra Deb Paul
Cheng Chen
Soumyajit Mandal
Swarup Bhunia
Published in:
IEEE Consumer Electron. Mag. (2019)
Keyphrases
</>
portable devices
safety analysis
low cost
safety critical
nuclear power plant
control system
embedded systems
symbolic model checking
fault model
real time
fault tolerant
formal methods
reliability analysis
decision problems
fuzzy control
expert systems
information systems
artificial intelligence
neural network