Designing, verification and validation of railway signaling systems using coloured petri nets

---

Tezin Türü: Yüksek Lisans

Tezin Yürütüldüğü Kurum: İstanbul Teknik Üniversitesi, Fen Bilimleri Enstitüsü, Türkiye

Tezin Onay Tarihi: 2016

Tezin Dili: İngilizce

Öğrenci: ALI ELHAYEK

Danışman: Mehmet Turan Söylemez