@techreport{weko_186595_1, author = "中村,成 and 山本,椋太 and 吉田,則裕 and 高田,広章", title = "組込みシステムを対象とした要求仕様書からの状態遷移記述の抽出", year = "2018", institution = "名古屋大学, 名古屋大学, 名古屋大学, 名古屋大学", number = "5", month = "mar" }