Cyber-physical automation systems modelling with IEC 61499 for their formal verification.

Midhun Xavier, Sandeep Patil, Valeriy Vyatkin

Browse the full INDIN paper archive.