%0 Conference Paper %1 LiHsienSync %A Yoong, Li Hsien %A Roop, P.S. %A Vyatkin, V. %A Salcic, Z. %B Industrial Informatics, 2007 5th IEEE International Conference on %D 2007 %K 61499 Esterel;IEC approach;event block block;component-oriented computing;formal control;program engineering execution function handling;formal interpreters;program language measurement-control mechanism;synchronous monitoring; program programming;process semantics;IEC semantics;scheduling;system specification;object-oriented specification;scheduling standards;control system translation;industrial-process verification;function verification;programming %P 1189 -1194 %R 10.1109/INDIN.2007.4384944 %T Synchronous Execution of IEC 61499 Function Blocks Using Esterel %V 2

@inproceedings{LiHsienSync, added-at = {2014-10-29T10:45:52.000+0100}, author = {Yoong, Li Hsien and Roop, P.S. and Vyatkin, V. and Salcic, Z.}, biburl = {https://www.bibsonomy.org/bibtex/2d8777a82ff28574b77d4c077cb848890/zeeshanejaz}, booktitle = {Industrial Informatics, 2007 5th IEEE International Conference on}, doi = {10.1109/INDIN.2007.4384944}, interhash = {baa2f785b4404e4d1b3c3187a5019c09}, intrahash = {d8777a82ff28574b77d4c077cb848890}, issn = {1935-4576}, keywords = {61499 Esterel;IEC approach;event block block;component-oriented computing;formal control;program engineering execution function handling;formal interpreters;program language measurement-control mechanism;synchronous monitoring; program programming;process semantics;IEC semantics;scheduling;system specification;object-oriented specification;scheduling standards;control system translation;industrial-process verification;function verification;programming}, month = {June}, pages = {1189 -1194}, timestamp = {2014-10-29T10:45:52.000+0100}, title = {Synchronous Execution of {IEC} 61499 Function Blocks Using {E}sterel}, volume = 2, year = 2007 }