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

Desteklenen Projeler

• 2018 - 2020 Automating Timed Automata Design

  UFUK 2020 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

  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

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