A Tool for Automatic Formal Modeling of Railway Interlocking Systems

Şener İ., Kaymakçı Ö. T., Üstoğlu İ., CANSEVER G.

16. International Conference on Computer as a Tool. EUROCON 2015, 01 September 2015

  • Publication Type: Conference Paper / Full Text
  • Yıldız Technical University Affiliated: Yes