@techreport{weko_66593_1, author = "磯田,誠 and 田村,直樹", title = "モデル駆動による組込みシステムの性能検証手法の提案", year = "2009", institution = "三菱電機株式会社情報技術総合研究所, 三菱電機株式会社情報技術総合研究所", number = "14", month = "oct" }