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