Victor Dubinin, Valeriy Vyatkin, Hans-Michael Hanisch. Modelling and Verification of IEC 61499 Applications using Prolog. In Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2006, September 20-22, 2006, Diplomat Hotel Prague, Czech Republic. pages 774-781, IEEE, 2006. [doi]
Abstract is missing.