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