Signaling System Solution for Urban Railways: Esenler Railway Depot von Okan, Muhammet R., Durmuş, Mustafa S., özmal, Kübra, Akçil, Lütfü, üstoğlu, İlker, Kaymakçi, özgür T.

Volltext

The Relationship between Diagnostic Coverage and Proof Test Interval for 1oo2 and 1oo2D Architectures von üstoğlu, İlker, Kaymakçı, özgür T., Börcsök, Josef

Volltext

IMPROVING THE BEHAVIOUR OF SUPERVISOR UNDER BLOCKING von Kaymakci, Ozgür T., Gören, Leyla, Kurtulan, Salman

Volltext

A New Method for Verification and Evaluation of PLC Software von KAYMAKÇI, Özgür Turay, ÖZ, Muhammed Ali Nur

Volltext

Human factors in hydrogen storage: An analysis of safety implications von Bulat, Hasan Hüseyin, Kaymakçı, Özgür Turay, Ilhan, Haci

Volltext

Specification and formal verification of safety properties in a point automation system von ŞENER, İbrahim, KAYMAKÇI, Özgür Turay, ÜSTOĞLU, İlker, CANSEVER, Galip

Volltext

Active tectonics and kinematics of Fethiye-Göcek Bay, SW Turkey: Insight about the eastern edge of Pliny-Strabo Trenches von Tosun, Levent, Avşar, Ulaş, Avşar, Özgür, Dondurur, Derman, Kaymakcı, Nuretdin

Volltext

Automated fabric inspection system development aided with convolutional autoencoder-based defect detection von Mercimek, Muharrem, Öz, Muhammed Ali, Kaymakçı, Özgür Turay

Volltext

A Nested Autoencoder Approach to Automated Defect Inspection on Textured Surfaces von Oz, Muhammed Ali Nur, Kaymakci, Ozgur Turay, Mercimek, Muharrem

Volltext

Anomaly localization in regular textures based on deep convolutional generative adversarial networks von Oz, Muhammed Ali Nur, Mercimek, Muharrem, Kaymakci, Ozgur Turay

Volltext

Verifying the accuracy of interlocking tables for railway signalling systems using abstract state machines von Celebi, Basri Tugcan, Kaymakci, Ozgur Turay

Volltext

Mediterranean–Black Sea gateway exchange: scientific drilling workshop on the BlackGate project von Krijgsman, Wout, Vasiliev, Iuliana, Beniest, Anouk, Lyons, Timothy, Lofi, Johanna, Tari, Gabor, Slomp, Caroline P, Cagatay, Namik, Triantaphyllou, Maria, Flecker, Rachel, Palcu, Dan, McHugh, Cecilia, Arz, Helge, Henry, Pierre, Lloyd, Karen, Cifci, Gunay, Sipahioglu, Özgür, Sakellariou, Dimitris

Volltext

A safety related perspective for the power supply systems in railway industry von Oz, Muhammet Ali, KAYMAKCI, Ozgur Turay, KOYUN, Ayhan

Volltext

Topology Based Automatic Formal Model Generation for Point Automation Systems von Oz, Muhammet Ali Nur, Sener, Ibrahim, Kaymakci, Ozgur Turay, Ustoglu, Ilker, Cansever, Galip

Volltext

Specification and Formal Verification of Safety Properties in Point Automation System by Using Timed-Arc Petri Nets von ŞENER, İbrahim, KAYMAKCI, Özgür Turay, ÜSTOĞLU, İlker, CANSEVER, Galip

Volltext

A Novel Performance Evaluation Method for DES von KAYMAKCI, Ozgur, KURTULAN, Salman

Volltext

A performance evaluation algorithm for discrete event systems under blocking von Kaymakci, O., Kurtulan, S.

Volltext bestellen