University of Bamberg
open search form
You are here

Information Systems and Applied Computer Sciences

Software Technologies Research Group

  1.  University of bamberg
  2. Faculties
  3. Information Systems and Applied Computer Sciences
  4. Subject groups
  5. Computer Science
  6. Software Technologies Research Group
  7. News
  8. SWTbahn: Model Railway Progress

SWTbahn: Model Railway Progress

We are pleased to welcome Bernhard Luedtke to the SWTbahn project as a student assistant, focussing on the model checking of railway controllers specified as SCCharts models using the model-driven engineering tool Kieler.