Model Verification and Exhaustive Testing for Whitelist Function of Industrial Control System.

Shintaro Fujita, Kenji Sawada, Seiichi Shin, Shu Hosokawa

Browse the full IECON paper archive.