Formal models for the verification of IEC 61499 function block based control applications

Cite this paper

@article{Lder2005FormalMF, title={Formal models for the verification of IEC 61499 function block based control applications}, author={Arndt L{\"{u}der and Christian Schwab and Marcus Tangermann and J{\"{o}rn Peschke}, journal={2005 IEEE Conference on Emerging Technologies and Factory Automation}, year={2005}, volume={1}, pages={8 pp.-112} }