Article citationsMore>>

Prahofer, H. and Zoitl, A. (2013) Verification of Hierarchical IEC 61499 Component Systems with Behavioral Event Contracts. 2013 11th IEEE International Conference on Industrial Informatics (INDIN), Bochum, 29-31 July 2013, 578-585.
http://dx.doi.org/10.1109/INDIN.2013.6622948

has been cited by the following article: