@techreport{weko_74098_1, author = "田邊,隼希 and 青山,幹雄", title = "プロパティに基づく自動車組込みソフトウェアの協調制御アーキテクチャ設計方法の提案", year = "2011", institution = "南山大学大学院数理情報研究科, 南山大学情報理工学部ソフトウェア工学科", number = "2", month = "mar" }