Automating Timed Automata Design

Aydın Göl E. (Yürütücü)

UFUK 2020 Projesi, 2018 - 2020

• Proje Türü: UFUK 2020 Projesi
• Başlama Tarihi: Ağustos 2018
• Bitiş Tarihi: Ağustos 2020