Login / Signup
Model Verification and Exhaustive Testing for Whitelist Function of Industrial Control System.
Shintaro Fujita
Kenji Sawada
Seiichi Shin
Shu Hosokawa
Published in:
IECON (2019)
Keyphrases
</>
control system
theoretical framework
linear model
management system
cost function
probabilistic model
statistical model
experimental data
real time
social networks
prior knowledge
fuzzy logic
parameter estimation
mathematical model
formal methods