@techreport{weko_45787_1,
   author	 = "井上,聡 and 遠藤祐 and 吉田健 and 飯田,庸介 and 小泉,寿男 and 清尾,克彦",
   title	 = "SpecCを用いたハードウェア／ソフトウェア協調設計方式とITS安全運転支援システムによる評価",
   year 	 = "2003",
   institution	 = "東京電機大学大学院理工学研究科, 東京電機大学大学院理工学研究科, 東京電機大学大学院理工学研究科, 東京電機大学大学院理工学研究科, 東京電機大学大学院理工学研究科, 三菱電機（株）技術研究所",
   number	 = "25(2002-ITS-012)",
   month	 = "mar"
}