電気・情報関連学会中国支部連合大会講演論文集(CD-ROM) について
有限状態機械 について
UML【モデリング言語】 について
モデル検査 について
符号化 について
原価低減 について
状態遷移図 について
形式的手法【計算機】 について
コスト削減 について
記号化 について
状態推移図 について
抽象化 について
有限状態マシン について
オートマトン理論 について
計算理論 について
検証 について
コスト削減 について
マシン について
抽象化 について