Feature selection and classification on brain computer interface (BCI) data. - Davut Polat; Zehra Cataltepe (SIU, 2012)

An overview of model checking practices on verification of PLC software. - Tolga Ovatman; Atakan Aral; Davut Polat; Ali Osman Ünver (Softw. Syst. Model., 2016)