@techreport{weko_33947_1, author = "鷲見毅,平山雅之 and 鵜林尚靖", title = "組込みシステムの動作環境の特徴に着目した仕様分析手法の提案", year = "2006", institution = "株式会社東芝ソフトウェア技術センター, 株式会社東芝ソフトウェア技術センター, 九州工業大学情報工学部知能情報工学科", number = "69(2006-EMB-001)", month = "jun" }