TY - CHAP A1 - Horauer, Martin A1 - Praprotnik, Oliver A1 - Zauner, Martin A1 - Höller, Roland A1 - Milbredt, Paul T1 - A Test Tool for FlexRay-based Embedded Systems T2 - Proceedings of the 2nd IEEE International Symposium on Industrial Embedded Systems (SIES'2007), Lisbon - Portugal, 4-6 July, 2007 KW - Embedded Systems KW - Testing Y1 - 2019 SN - 1-4244-0840-7 SP - 349 EP - 352 ER - TY - CHAP A1 - Zauner, Martin A1 - Kramer, Michael A1 - Balog, Peter T1 - TACKLING THE ABSTRACTION GAP FOR THE DESIGN OF EMBEDDED REACTIVE SYSTEMS USING ESTEREL - A CASE STUDY T2 - Proceedings of the 3nd IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications (MESA07), Sept. 4-7, 2007, Las Vegas, USA, DETC2007-34561 KW - Embedded Systems Y1 - 2019 ER - TY - CHAP A1 - Balog, Peter A1 - Kramer, Michael A1 - Zauner, Martin T1 - Modellierung reaktiver Systeme mit Esterel T2 - Tagungsband zum ersten Forschungsforum der österreichischen Fachhochschulen (FFH), 11-12 April, Puch/Salzburg, Austria KW - Reactive Systems Y1 - 2019 ER - TY - CHAP A1 - Rössler, Peter A1 - Zauner, Martin T1 - Evaluierung eines Esterel-basierenden Hardware/Software Co-Design Flows T2 - Proceedings of the Austrochip 2007 KW - Hardware KW - Co-Design Y1 - 2019 SP - 99 EP - 106 ER -