@techreport{weko_75651_1,
   author	 = "小倉,信彦 and 谷川,郁太 and 渡辺,晴美",
   title	 = "状態遷移言語による組込みソフトウェア開発",
   year 	 = "2011",
   institution	 = "東京都市大学環境情報学部, 東海大学情報通信学部組込みソフトウェア工学科, 東海大学情報通信学部組込みソフトウェア工学科",
   number	 = "48",
   month	 = "mar"
}