組込みソフトウェアを対象とした状態遷移表抽出支援ツール

山本 椋太  吉田 則裕  青木 奈央  高田 広章  

誌名:   電子情報通信学会論文誌 D
早期公開日: 2018/12/04
DOI: 10.14923/transinfj.2018PDP0028
本文: PDF(681.2KB)