Orta Doğu Teknik Üniversitesi
Akademik Veri Yönetim Sistemi
Araştırmacı Girişi
English
Tümü
Projeler
Ödüller
Fikri Mülkiyet
Bilimsel Veri Paylaşımı
Araştırmacılar
Yayınlar
Tezler
Detaylı Arama
Ana Sayfa
Trafik Sistemlerinin Formel Metotlar Kul...
Trafik Sistemlerinin Formel Metotlar Kullanılarak Kontrol Edilmesi
AYDIN GÖL E.
(Yürütücü)
TÜBİTAK Projesi, 2016 - 2017
Proje Türü:
TÜBİTAK Projesi
Başlama Tarihi:
Haziran 2016
Bitiş Tarihi:
Aralık 2017