@techreport{weko_71137_1, author = "松本,剛史 and 藤田,昌宏", title = "上位設計記述の解析を利用した製造後機能テストの効率化", year = "2010", institution = "東京大学大規模集積システム設計教育研究センター, 東京大学大規模集積システム設計教育研究センター/科学技術振興機構戦略的創造研究推進事業CREST", number = "10", month = "nov" }