@techreport{weko_69121_1,
   author	 = "高,鏞守 and 久住,憲嗣 and 小野,康一 and 河原,亮 and 坂本,佳史 and 中田,武男 and 長野,正 and 福田,晃",
   title	 = "組込みソフトウェアにおける実行トレースに基づく捨象モデリングツールの実装と評価",
   year 	 = "2010",
   institution	 = "九州大学大学院システム情報科学府, 九州大学システムLSI研究センター, 日本アイ・ビー・エム株式会社東京基礎研究所, 日本アイ・ビー・エム株式会社東京基礎研究所, 日本アイ・ビー・エム株式会社グローバルビジネスサービス組込みソフトウェア・コンサルティング, 日本アイ・ビー・エム株式会社東京基礎研究所, 日本アイ・ビー・エム株式会社R&Dイノベーション・サービス, 九州大学大学院システム情報科学研究院",
   number	 = "36",
   month	 = "mar"
}