Ibrahim Sener

According to our database, Ibrahim Sener authored at least 2 papers in 2015.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of six.

2015

Topology Based Automatic Formal Model Generation for Point Automation Systems.

Muhammet Ali Nur Oz, Ibrahim Sener, Ozgur Turay Kaymakci, Ilker Üstoglu, Galip Cansever

Inf. Technol. Control., 2015

A tool for automatic formal modeling of railway interlocking systems.

Muhammed Ali Nur Oz, Ibrahim Sener, Ozgur Turay Kaymakci, Ilker Üstoglu, Galip Cansever

Proceedings of the IEEE EUROCON 2015, 2015