Özgür Turay KAYMAKÇI, Muhammet Ali OZ
Gazi University Journal of Science
133-147
Formal verification, interlocking, timed arc petri nets, railway signalization systems
Gazi University Journal of Science
Ayten DİZKIRICI, Sinan İŞLER, Oktay YİĞİT
Gazi University Journal of Science
Seyed Masoud AGHAYAN, Ahmad ZİREH, Ali EBADİAN
Gazi University Journal of Science
Gazi University Journal of Science
Bilge ARMATLI KÖROĞLU, Tanyel ÖZELÇİ ECERAL
Gazi University Journal of Science
M.ozgur SEYDİBEYOGLU, Sibel DEMİROĞLU, Fatma ERDOĞAN, Ecem AKIN, Aynur AYVALIK, Hüseyin Ata KARAVANA
Gazi University Journal of Science
Esin VAROL, Murat KILIÇ, Ayşe Eren PÜTÜN, Görkem DEĞİRMEN, Ersan PÜTÜN
Gazi University Journal of Science
Funda Ergun YARDİM, Nursel AKÇAM, Merve BAYRAKTAR