@techreport{weko_33816_1,
   author	 = "金子,省太 and 小倉,信彦 and 渡辺,晴美",
   title	 = "組込みソフトウェアのためのゴール指向手法による状態モデル構築法",
   year 	 = "2008",
   institution	 = "東海大学開発工学部情報通信工学科, 武蔵工業大学環境情報学部, 東海大学情報通信学部",
   number	 = "55(2008-EMB-009)",
   month	 = "jun"
}