A Comparison of Formal Verification Approaches for IEC 61499.

Jan Olaf Blech, Per Lindgren, David Pereira, Valeriy Vyatkin, Alois Zoitl

Browse the full ETFA paper archive.