Formal Analysis of Networked PLC Controllers Interacting with Physical Environments.

Jaeseo Lee, Kyungmin Bae

Browse the full SAS paper archive.