Konu "NuSMV" için listeleme

Sırala: Sıra: Sonuçlar:

  • Güven, Ahmet Emre (ESOGÜ, Fen Bilimleri Enstitüsü, 2018)
    Demiryolu taşımacılığında trenlerin emniyetli şekilde sevk ve idaresini sağlamak için demiryolu sinyalizasyon sistemleri geliştirilmiştir. Demiryolu sinyalizasyon sistemlerine entegre olan saha ekipmanları aracılığıyla ...