Yayınlar & Eserler

SCI, SSCI ve AHCI İndekslerine Giren Dergilerde Yayınlanan Makaleler
Diğer Dergilerde Yayınlanan Makaleler
Hakemli Bilimsel Toplantılarda Yayımlanmış Bildiriler

Modelling and Hierarchical Control of CBTC

6th International Conference on Control Engineering and Information Technology (CEIT), İstanbul, Türkiye, 25 - 27 Ekim 2018 identifier identifier

A Tool for Automatic Formal Modeling of Railway Interlocking Systems

International Conference on Computer as a Tool (EUROCON), IEEE, Salamanca, Meksika, 8 - 11 Eylül 2015, ss.26-29 identifier identifier

Effects of Varying Diagnostic Coverage on Functional Safety

2014 International Symposium on Fundamentals of Electrical Engineering (ISFEE), Bucharest, Romanya, 28 - 29 Kasım 2014 identifier

A performance evaluation algorithm for discrete event systems under blocking

15th Mediterranean Conference on Control and Automation, Athens, Yunanistan, 27 - 29 Haziran 2007, ss.339-344 identifier identifier