![](/img/cover-not-exists.png)
[IEEE 2014 IIAI 3rd International Conference on Advanced Applied Informatics (IIAIAAI) - Kokura Kita-ku, Japan (2014.8.31-2014.9.4)] 2014 IIAI 3rd International Conference on Advanced Applied Informatics - Toward Formal Verification of ECU for Gasoline Direct Injection Engines
Yamauchi, Masato, Ito, Nobuhiro, Kawabe, YoshinobuYear:
2014
Language:
english
DOI:
10.1109/IIAI-AAI.2014.176
File:
PDF, 164 KB
english, 2014