@techreport{weko_95729_1,
   author	 = "山根,智 and 酒井,誠",
   title	 = "動的組込みシステムの仕様記述言語の開発",
   year 	 = "2013",
   institution	 = "金沢大学理工研究域電子情報学系, 金沢大学理工研究域電子情報学系",
   number	 = "4",
   month	 = "oct"
}