%0 Journal Article %1 LiHsienVerify %A Yoong, Li Hsien %A Roop, P.S. %D 2010 %J Embedded Systems Letters, IEEE %K 61499 Esterel;IEC blocks control control;program function standards;process systems;IEC verification verification; verification;industrial-process %N 1 %P 1 -4 %R 10.1109/LES.2010.2042275 %T Verifying IEC 61499 Function Blocks Using Esterel %V 2

@article{LiHsienVerify, added-at = {2014-10-29T10:45:52.000+0100}, author = {Yoong, Li Hsien and Roop, P.S.}, biburl = {https://www.bibsonomy.org/bibtex/2792128d9ac2dd9d087eb758dd234f17c/zeeshanejaz}, doi = {10.1109/LES.2010.2042275}, interhash = {29d6d03705d48568ac075c9b7215c25f}, intrahash = {792128d9ac2dd9d087eb758dd234f17c}, issn = {1943-0663}, journal = {Embedded Systems Letters, IEEE}, keywords = {61499 Esterel;IEC blocks control control;program function standards;process systems;IEC verification verification; verification;industrial-process}, month = {March}, number = 1, pages = {1 -4}, timestamp = {2014-10-29T10:49:58.000+0100}, title = {Verifying {IEC} 61499 Function Blocks Using {E}sterel}, volume = 2, year = 2010 }