Runtime Verification of Program Organization Units in Safe Programmable Logic Controller Systems.

Hisham Unniyankal, Davide Ancona, Angelo Ferrando, Fabio Parodi, Alessandro Alessi, Federico Bottino

Browse the full DSN paper archive.