A Formal Approach to Deploy Heterogeneous Software Components in a PLC.

Mohamed Khalgui, Emanuele Carpanzano

Browse the full ICSoft paper archive.