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