Login / Signup
Ibrahim Sener
Publication Activity (10 Years)
Years Active: 2015-2015
Publications (10 Years): 2
Top Topics
Arbitrary Dimension
Semi Automatic
Small World
Intelligent Systems
Top Venues
Inf. Technol. Control.
EUROCON
</>
Publications
</>
Muhammed Ali Nur Oz
,
Ibrahim Sener
,
Ozgur Turay Kaymakci
,
Ilker Üstoglu
,
Galip Cansever
A tool for automatic formal modeling of railway interlocking systems.
EUROCON
(2015)
Muhammet Ali Nur Oz
,
Ibrahim Sener
,
Ozgur Turay Kaymakci
,
Ilker Üstoglu
,
Galip Cansever
Topology Based Automatic Formal Model Generation for Point Automation Systems.
Inf. Technol. Control.
44 (1) (2015)