TY  - CHAP
A1  - Reinbacher, Thomas
A1  - Horauer, Martin
A1  - Schlich, Bastian
A1  - Bauer, Jörg
A1  - Scheuer, Florian
T1  - Model Checking Assembly Code of an Industrial Knitting Machine
T2  - Proceedings of the 4th International Conference on Embedded and Multimedia Computing (EM-Com 2009), Jeju, Korea, Dec. 10-12, 2009
KW  - Embedded Systems
KW  - Model Checking
KW  - Knitting Machine
Y1  - 2019
SP  - 97
EP  - 104
ER  - 
TY  - CHAP
A1  - Frohner, Matthias
A1  - Urbauer, Philipp
A1  - Bauer, Martin
A1  - Gerbovics, Ferenc
A1  - Mense, Alexander
A1  - Sauermann, Stefan
T1  - Design and Realisation of a Framework for Device Endcommunication According to the IEEE 11073-20601 Standard
T2  - Tagungsband der eHealth und eHealth Benchmarking, Wien
KW  - Standards
KW  - eHealth
KW  - IEEE
Y1  - 2019
ER  -