@techreport{weko_141658_1,
   author	 = "木村,悠介 and ガラバギ,アミル マスード and 藤田,昌宏",
   title	 = "実時間組み込みソフトウェア解析のためのHW/SW協調検査",
   year 	 = "2015",
   institution	 = "東京大学大学院工学系研究科電気系工学専攻, 東京大学大学院工学系研究科電気系工学専攻, 東京大学大規模集積システム設計教育研究センター",
   number	 = "8",
   month	 = "may"
}