Login / Signup
Muhammet Ali Nur Oz
ORCID
Publication Activity (10 Years)
Years Active: 2015-2015
Publications (10 Years): 1
Top Topics
Formal Model
Arbitrary Dimension
Semi Automatic
Small World
Top Venues
Inf. Technol. Control.
</>
Publications
</>
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)