@techreport{weko_21065_1, author = "湯浅,能史 and 足立,正和 and 佐野,範佳", title = "制御系ECU調停器の検証における演繹的アプローチについて", year = "2008", institution = "東京工業大学大学院情報理工学研究科/産業技術総合研究所システム検証研究センター, (株)豊田中央研究所, (株)豊田中央研究所", number = "55(2008-SE-160)", month = "jun" }