%0 Conference Paper %1 conf/iiaiaai/YamauchiIK14 %A Yamauchi, Masato %A Ito, Nobuhiro %A Kawabe, Yoshinobu %B IIAI-AAI %D 2014 %I IEEE Computer Society %K dblp %P 889-894 %T Toward Formal Verification of ECU for Gasoline Direct Injection Engines. %U http://dblp.uni-trier.de/db/conf/iiaiaai/iiaiaai2014.html#YamauchiIK14 %@ 978-1-4799-4174-2

@inproceedings{conf/iiaiaai/YamauchiIK14, added-at = {2023-03-24T00:00:00.000+0100}, author = {Yamauchi, Masato and Ito, Nobuhiro and Kawabe, Yoshinobu}, biburl = {https://www.bibsonomy.org/bibtex/275b7412402aea896954bbd79483eef04/dblp}, booktitle = {IIAI-AAI}, crossref = {conf/iiaiaai/2014}, ee = {https://doi.ieeecomputersociety.org/10.1109/IIAI-AAI.2014.176}, interhash = {1b9a9b132d1172ff9583155054708af7}, intrahash = {75b7412402aea896954bbd79483eef04}, isbn = {978-1-4799-4174-2}, keywords = {dblp}, pages = {889-894}, publisher = {IEEE Computer Society}, timestamp = {2024-04-09T12:28:08.000+0200}, title = {Toward Formal Verification of ECU for Gasoline Direct Injection Engines.}, url = {http://dblp.uni-trier.de/db/conf/iiaiaai/iiaiaai2014.html#YamauchiIK14}, year = 2014 }