2016
· author #1
İŞ
RESEARCHER · YTU
İbrahim Şener
Yıldız Technical University · TR
h-index
3
via OpenAlex
Total Works
19
Citations
18
YTU Works (DB)
4
YTU Publications (4)
2016
· author #2
Elektrikli Araçlarda Enerji Verimliligi Artirimi
2016 National Conference on Electrical, Electronics and Biomedical Engineering (ELECO)
2015
· author #2 3 citations
A tool for automatic formal modeling of railway interlocking systems
2014
· author #1 1 citations
Specification and Formal Verification of Safety Properties in Point Automation System by Using Timed-Arc Petri Nets
IFAC Proceedings Volumes