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]
@inproceedings{DubininVH06,
title = {Modelling and Verification of IEC 61499 Applications using Prolog},
author = {Victor Dubinin and Valeriy Vyatkin and Hans-Michael Hanisch},
year = {2006},
doi = {10.1109/ETFA.2006.355449},
url = {http://dx.doi.org/10.1109/ETFA.2006.355449},
tags = {Prolog},
researchr = {https://researchr.org/publication/DubininVH06},
cites = {0},
citedby = {0},
pages = {774-781},
booktitle = {Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2006, September 20-22, 2006, Diplomat Hotel Prague, Czech Republic},
publisher = {IEEE},
}