Login / Signup
Masato Yamauchi
Publication Activity (10 Years)
Years Active: 2014-2015
Publications (10 Years): 1
Top Topics
Formal Verification
Model Checking
Fuel Injection
Heuristic Search
Top Venues
ICIS
IIAI-AAI
</>
Publications
</>
Masato Yamauchi
,
Nobuhiro Ito
,
Yoshinobu Kawabe
Verifying ignition timing of gasoline direct injection engine's PCM.
ICIS
(2015)
Masato Yamauchi
,
Nobuhiro Ito
,
Yoshinobu Kawabe
Toward Formal Verification of ECU for Gasoline Direct Injection Engines.
IIAI-AAI
(2014)