A Tool for Automatic Formal Modeling of Railway Interlocking Systems


ÖZ M. A. N., ŞENER İ., KAYMAKÇI Ö. T., ÜSTOĞLU İ., CANSEVER G.

EUROCON 2015,16th International Conference on Computer as a Tool, 8 - 11 September 2015

  • Publication Type: Conference Paper / Full Text
  • Istanbul Technical University Affiliated: Yes