TY - CONF 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 UR - http://opus.technikum-wien.at/frontdoor/index/index/docId/2415 ER -