Security Verification of Industrial Control Systems using Partial Model Checking.

Tomas Kulik, Jalil Boudjadar, Peter W. V. Tran-Jrgensen

Browse the full ICSE paper archive.