TY  - JOUR
A1  - Reinbacher, Thomas
A1  - Horauer, Martin
A1  - Schlich, Bastian
A1  - Brauer, Jörg
A1  - Scheuer, Florian
T1  - Model Checking Embedded Software of an Industrial Knitting Machine
T2  - International Journal on Information Technology, Communications, and Convergence, Inderscience, Vol. 1, No. 2
KW  - Model Checking
KW  - Static Analysis
KW  - Binary Code
KW  - Formal Verification
KW  - Embedded Systems
Y1  - 2019
UR  - http://opus.technikum-wien.at/frontdoor/index/index/docId/2564
IS  - Vol. 1, No. 2
ER  -