Valeriy Vyatkin, Hans-Michael Hanisch. Formal modeling and verification in the software engineering framework of IEC 61499: a way to self-verifying systems. In Proceedings of 8th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2001, October 15-18, 2001, Antibes/Juan les Pins, France - Volume 2. pages 113-118, IEEE, 2001. [doi]
@inproceedings{VyatkinH01, title = {Formal modeling and verification in the software engineering framework of IEC 61499: a way to self-verifying systems}, author = {Valeriy Vyatkin and Hans-Michael Hanisch}, year = {2001}, doi = {10.1109/ETFA.2001.997677}, url = {http://dx.doi.org/10.1109/ETFA.2001.997677}, researchr = {https://researchr.org/publication/VyatkinH01}, cites = {0}, citedby = {0}, pages = {113-118}, booktitle = {Proceedings of 8th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2001, October 15-18, 2001, Antibes/Juan les Pins, France - Volume 2}, publisher = {IEEE}, isbn = {0-7803-7241-7}, }