| Ödül Tarihi | 2013 |
|---|---|
| Orijinal dil | İngilizce |
| Danışman | Omer Usta (Danışman) |
Design and rams analysis of railway interlocking systems using formal methods
Öğrenci tezi: Yüksek Lisans Tezi