Modelling and Verification of IEC 61499 Applications using Prolog - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Victor Dubinin' in GoogleThis author has not been identified. Look up 'Valeriy Vyatkin' in GoogleThis author has not been identified. Look up 'Hans-Michael Hanisch' in Google

runs on WebDSL