Verification of hierarchical IEC 61499 component systems with behavioral event contracts

Herbert Prähofer und Alois Zoitl

Industrial Informatics (INDIN), 2013 11th IEEE International Conference on, pp. 578-585

2013 · DOI: 10.1109/indin.2013.6622948