TY  - CHAP
A1  - Wenzl, Matthias
A1  - Fibich, Christian
A1  - Rössler, Peter
A1  - Taucher, Herbert
A1  - Matschnig, Martin
T1  - Logic Synthesis of Assertions for Saftey-critical Applications
T2  - Proceedings of the 2015 International Conference on Industrial Technology (ICIT), March 17-19, 2015
KW  - Safety
Y1  - 
ER  - 
TY  - GEN
A1  - Wenzl, Matthias
A1  - Fibich, Christian
A1  - Rössler, Peter
A1  - Taucher, Herbert
A1  - Matschnig, Martin
T1  - Logic Synthesis of Assertions for Saftey-critical Applications
KW  - Safety
Y1  - 
ER  - 
TY  - JOUR
A1  - Fibich, Christian
A1  - Rössler, Peter
A1  - Tauner, Stefan
A1  - Taucher, Herbert
A1  - Matschnig, Martin
T1  - A Netlist-level Fault-injection Tool for FPGAs
JF  - e & i Elektrotechnik und Informationstechnik: Volume 132, Issue 6 (2015)
KW  - FPGA
KW  - Embedded Systems
KW  - Electronic Engineering
KW  - Information Technology
Y1  - 2019
IS  - e & i Elektrotechnik und Informationstechnik: Volume 132, Issue 6 (2015)
ER  -