TY  - CHAP
A1  - Glatz, Bernd
A1  - Cleary, Fionn
A1  - Horauer, Martin
A1  - Schuster, Harald
A1  - Balog, Peter
T1  - Complementing Testing of IEC61499 Function Blocks with Model-Checking
T2  - Proceedings of the 12th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, (MESA2016), Auckland, New Zealand, 29-31 August 2016
KW  - Embedded Systems
Y1  - 2018
ER  - 
TY  - GEN
A1  - Glatz, Bernd
A1  - Cleary, Fionn
A1  - Horauer, Martin
A1  - Schuster, Harald
A1  - Balog, Peter
T1  - Complementing Testing of IEC61499 Function Blocks with Model-Checking
KW  - Embedded Systems
Y1  - 2018
ER  - 
TY  - CHAP
A1  - Glatz, Bernd
A1  - Schuster, Harald
A1  - Horauer, Martin
A1  - Rauscher, Thomas
A1  - Obermaisser, Roman
T1  - Fault Injection for IEC 61499 Applications
T2  - Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2016), Berlin, Germany, 2016-09-06 -- 2016-09-09
KW  - Embedded Systems
Y1  - 2018
ER  - 
TY  - GEN
A1  - Glatz, Bernd
A1  - Schuster, Harald
A1  - Horauer, Martin
A1  - Rauscher, Thomas
A1  - Obermaisser, Roman
T1  - Fault Injection for IEC 61499 Applications
KW  - Embedded Systems
Y1  - 2018
ER  -