TY - JOUR A1 - Schefer-Wenzl, Sigrid A1 - Wenzl, Matthias T1 - Roboter mit Himbeeren, Ein Überblick über Roboterbausätze und GPIO Bibliotheken auf Raspberry Pi (2) JF - Entwickler Magazin 2015 KW - Robotic KW - Embedded Systems Y1 - 2019 IS - Entwickler Magazin Juni 2015 ER - 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 -