Design and rams analysis of railway interlocking systems using formal methods

Öğrenci tezi: Yüksek Lisans Tezi

Ödül Tarihi2013
Orijinal dilİngilizce
DanışmanÖmer Usta (Danışman)

Alıntı Yap

'