2013-04-18 ●日立と日立オートモティブが自動車制御ソフト向けに高速な形式検証技術 Automotive http://techon.nikkeibp.co.jp/article/NEWS/20130416/277213/?ref=ML