Yayınlar & Eserler

Makaleler 22
Tümü (22)
SCI-E, SSCI, AHCI (9)
SCI-E, SSCI, AHCI, ESCI (13)
ESCI (4)
Scopus (11)
TRDizin (10)
Diğer Yayınlar (3)
Hakemli Bilimsel Toplantılarda Yayımlanmış Bildiriler 4

1. Modelling and Hierarchical Control of CBTC

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

2. 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, (Tam Metin Bildiri) identifier identifier

3. Effects of Varying Diagnostic Coverage on Functional Safety

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

4. 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, (Tam Metin Bildiri) identifier identifier