Model-Checking based Verification approach for advanced Industrial Automation solutions.

Mauro Mazzolini, Alessandro Brusaferri, Emanuele Carpanzano

Browse the full ETFA paper archive.