Copy For Citation
Aydin S. K., Aydın Göl E.
2018 26th Signal Processing and Communications Applications Conference (SIU), İzmir, Turkey, 2 - 05 May 2018
-
Publication Type:
Conference Paper / Full Text
-
Doi Number:
10.1109/siu.2018.8404508
-
City:
İzmir
-
Country:
Turkey
-
Keywords:
Formal methods, STL, requirement mining, genetic algorithms
-
Middle East Technical University Affiliated:
Yes