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

  • Yayın Türü: Bildiri / Tam Metin Bildiri
  • Yıldız Teknik Üniversitesi Adresli: Evet