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  - GEN
A1  - Praus, Friedrich
A1  - Kastner, Wolfgang
A1  - Palensky, Peter
T1  - Software security requirements in building automation
KW  - Software Security
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  - CHAP
A1  - Jerabek, Thomas
A1  - Horauer, Martin
T1  - Static Worst-Case Execution Time Analysis Tool Development for Embedded Systems Software
T2  - Proceedings of the 9th International Conference on Dependability (DEPEND 2016), Nice, July 2016
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  - Jerabek, Thomas
A1  - Horauer, Martin
T1  - Static Worst-Case Execution Time Analysis Tool Development for Embedded Systems Software
KW  - Embedded Systems
Y1  - 2018
ER  - 
TY  - JOUR
A1  - Schindelböck, Denise
A1  - Praus, Friedrich
A1  - Gall, Walter
T1  - A Diabetes Self-Management Prototype in an AAL-Environment to Detect Remarkable Health States
JF  - Proceedings of Health Informatics Meets eHealth 2016
KW  - Ambient Assisted Living
KW  - Health Applications
Y1  - 2018
SP  - 273
EP  - 280
ER  - 
TY  - CHAP
A1  - Puhm, Andreas
A1  - Mahmood, Aneeq
A1  - Bigler, Thomas
A1  - Kerö, Nikolaus
T1  - Synchronizing an IEEE 1588 Slave Clock Over Both Paths of a Redundant Ethernet System
T2  - 2016 IEEE International Symposium on Precision Clock Synchronization for Measurement, Control and Communication
KW  - Network
KW  - Embedded Systems
Y1  - 2018
ER  - 
TY  - GEN
A1  - Schindelböck, Denise
A1  - Praus, Friedrich
A1  - Gall, Walter
T1  - A Diabetes Self-Management Prototype in an AAL-Environment to Detect Remarkable Health States
KW  - Ambient Assisted Living
KW  - Health Applications
Y1  - 2018
ER  -