Login / Signup
Furkan Comert
Publication Activity (10 Years)
Years Active: 2015-2015
Publications (10 Years): 0
Top Topics
Deterministic Finite Automaton
State Space
Model Checking
Computation Tree Logic
Top Venues
IEEE Trans. Consumer Electron.
</>
Publications
</>
Furkan Comert
,
Tolga Ovatman
Attacking state space explosion problem in model checking embedded TV software.
IEEE Trans. Consumer Electron.
61 (4) (2015)