Özgür Kaymakçı profil resmi
Özgür Kaymakçı
Yayın 1 Hakemlik 0
1 Yayın
0 Hakemlik

Kurum

Popüler Yayınları

AN AUTOMATIC FORMAL MODEL GENERATION AND VERIFICATION METHOD FOR RAILWAY INTERLOCKING SYSTEMS
Yazarlar: Özgür Turay Kaymakçı , Muhammet Ali Oz
Yayın Bilgisi: 2017 , Gazi University Journal of Science
DOI: -
ATIF 0 FAVORİ 1 TOPLAM İNDİRİLME SAYISI 1288

0

1

1288

Yayınlar

AN AUTOMATIC FORMAL MODEL GENERATION AND VERIFICATION METHOD FOR RAILWAY INTERLOCKING SYSTEMS
Yazarlar: Özgür Turay Kaymakçı , Muhammet Ali Oz
Yayın Bilgisi: 2017 , Gazi University Journal of Science
DOI: -
FAVORİ 1 TOPLAM İNDİRİLME SAYISI 1288

1

1288

Makalelerin Yayımlandığı Dergiler
Gazi University Journal of Science
Gazi University Journal of Science
Kullanıcının DergiPark'ta kayıtlı görevi bulunmamaktadır.
Crossref atıf bulunmamaktadır.
Popüler Yayınlar: DergiPark'ta araştırma yapan araştırmacılar tarafından favoriye eklenme istatistiğine göre otomatik belirlenmektedir. CrossRef Atıf: DergiPark'ta gösterilen atıflar CrossRef'ten çekilmektedir. Bunun için atıf alan ve atıf verilen makalelerin CrossRef'te kaydının olması (DOI numarası) gerekmektedir. ^: Atıf sayıları DergiPark tarafından belirli periyotlar ile sisteme yansıtılmaktadır.