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  - 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  - 
TY  - GEN
A1  - Glatz, Bernd
A1  - Beneder, Roman
A1  - Horauer, Martin
A1  - Rauscher, Thomas
T1  - Deadlock Detection Runtime Service for Embedded Linux
KW  - Linux
KW  - Embedded Systems
Y1  - 2018
ER  -