Atıf İçin Kopyala
Aydin S. K., Aydın Göl E.
2018 26th Signal Processing and Communications Applications Conference (SIU), İzmir, Türkiye, 2 - 05 Mayıs 2018
-
Yayın Türü:
Bildiri / Tam Metin Bildiri
-
Doi Numarası:
10.1109/siu.2018.8404508
-
Basıldığı Şehir:
İzmir
-
Basıldığı Ülke:
Türkiye
-
Anahtar Kelimeler:
Formal methods, STL, requirement mining, genetic algorithms
-
Orta Doğu Teknik Üniversitesi Adresli:
Evet