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.