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 Eylül 2015