Özgür Kaymakçı profile image
Özgür Kaymakçı
Publication 1 Review 0
1 Publication
0 Review

Institution

Popular Publications

AN AUTOMATIC FORMAL MODEL GENERATION AND VERIFICATION METHOD FOR RAILWAY INTERLOCKING SYSTEMS
Authors: Özgür Turay Kaymakçı , Muhammet Ali Oz
Published: 2017 , Gazi University Journal of Science
DOI: -
CITED 0 FAVORITE 1 TOTAL DOWNLOAD COUNT 1287

0

1

1287

Publications

AN AUTOMATIC FORMAL MODEL GENERATION AND VERIFICATION METHOD FOR RAILWAY INTERLOCKING SYSTEMS
Authors: Özgür Turay Kaymakçı , Muhammet Ali Oz
Published: 2017 , Gazi University Journal of Science
DOI: -
FAVORITE 1 TOTAL DOWNLOAD COUNT 1287

1

1287

Articles published in
Gazi University Journal of Science
Gazi University Journal of Science
User doesn't have any peer review duties on DergiPark.
There are no Crossref cited.
Popular Publications: It is determined automatically by the researchers doing research in DergiPark according to the statistics of being added to the favorites. CrossRef Cited: The citations shown in DergiPark are drawn from CrossRef. For this, the cited and cited articles must be registered in CrossRef (DOI number). ^: Citation numbers are reflected in the system by DergiPark at certain periods.