SWTbahn: Modellbahn-Fortschritt

Wir freuen uns, Bernhard Luedtke als studentische Hilfskraft im Projekt SWTbahn begrüßen zu dürfen. Er beschäftigt sich mit der Modellprüfung von Bahnsteuerungen, die als SCCharts-Modelle mit dem modellgetriebenen Engineering-Tool Kieler spezifiziert sind.