査読有り 2019年3月 組込みソフトウェアを対象とした状態遷移表抽出支援ツール 電子情報通信学会論文誌D 山本 椋太, 吉田 則裕, 青木 奈央, 高田 広章 巻 J102-D 号 3 開始ページ 151 終了ページ 162 記述言語 掲載種別 研究論文(学術雑誌) エクスポート BibTeX RIS