TY  - CHAP
A1  - Horauer, Martin
A1  - Ray, Markus
A1  - Augustin, Andreas
A1  - Novak, Gregor
T1  - FlexiCount: Eine flexible Personenzählmatte für den mobilen Indoor und Outdoor Einsatz
T2  - , Proceedings Real Corp 2010, Vienna, Austria, May 18-20, 2010
KW  - Person Counting
Y1  - 2019
SP  - 1095
EP  - 1100
ER  - 
TY  - CHAP
A1  - Praprotnik, Oliver
A1  - Zauner, Martin
T1  - System-Testumgebung für die verteilte Automobilelektronik
T2  - Informationstagung Mikroelektronik (ME 2010),  Vienna, Austria, April 7-8, 2010
KW  - Embedded Systems
KW  - Automotive
KW  - Testing
Y1  - 2019
SP  - 305
EP  - 310
ER  - 
TY  - CHAP
A1  - Reinbacher, Thomas
A1  - Brauer, Jörg
A1  - Horauer, Martin
A1  - Steininger, Andreas
A1  - Kowalewski, Stefan
T1  - Test-Case Generation for Embedded Binary Code Using Abstract Interpretation
T2  - Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2010), Brno, 2010
KW  - Embedded Systems
KW  - Testing
Y1  - 2019
ER  - 
TY  - CHAP
A1  - Niklas, Peter
A1  - Zauner, Martin
A1  - Horauer, Martin
T1  - Development of an Embedded Monitoring Device for a Manufacturing Plant
T2  - Proceedings of the 2010 IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications (MESA 2010), July 15-17, 2010, Qingdao, China
KW  - Embedded Systems
KW  - Manufacturing
Y1  - 2019
SP  - 398
EP  - 402
ER  - 
TY  - CHAP
A1  - Reinbacher, Thomas
A1  - Horauer, Martin
T1  - Formale Verifikation von Embedded Systems Software
T2  - Informationstagung Mikroelektronik (ME 2010), Vienna, Austria, April 7-8, 2010
KW  - Embedded Systems
KW  - Verification
Y1  - 2019
SP  - 289
EP  - 296
ER  - 
TY  - CHAP
A1  - Kittenberger, Thomas
A1  - Brodl, L.
A1  - Vavra, Norbert
T1  - Experiences using autonomous model airplanes for embedded control education and for bachelor and diploma projects
T2  - Proceedings of "Robotics in Education", Sept. 16-17, 2010, Bratislava, Slovakia
KW  - Embedded Systems
KW  - Teaching
Y1  - 2019
ER  -