Dr. Öğr. Üyesi EBRU AYDIN GÖL

Desteklenen Projeler 3

2018 - 2020 Automating Timed Automata Design

UFUK 2020 Projesi , MSCA-IF, Marie Skłodowska-Curie Eylemleri Bireysel Araştırma Bursları Projesi

Aydın Göl E. (Yürütücü)
2017 - 2019 Formel Metotlar Kullanılarak İzleme Sistemi Geliştirilmesi ve İzlenecek Metrik Gereksinimlerinin Veri Bazlı Sentezi

Yükseköğretim Kurumları Destekli Proje , BAP Diğer

AYDIN GÖL E. (Yürütücü), AYDIN S. K.
2016 - 2017 Trafik Sistemlerinin Formel Metotlar Kullanılarak Kontrol Edilmesi

TÜBİTAK Projesi , 2232 - Yurda Dönüş Araştırma Burs Programı

AYDIN GÖL E. (Yürütücü)

Desteklenen Projeler