Yang Zhibin について
Inst. de Rech. en Informatique de Toulouse, Univ. de Toulouse, France, Toulouse について
School of Computer Sci. and Engineering, BeiHang Univ., Beijing について
Zhao Yongwang について
School of Computer Sci. and Engineering, BeiHang Univ., Beijing について
Ma Dianfu について
School of Computer Sci. and Engineering, BeiHang Univ., Beijing について
Bodeveix Jean Paul について
Inst. de Rech. en Informatique de Toulouse, Univ. de Toulouse, France, Toulouse について
Ruanjian Xuebao について
事例研究 について
言語 について
モデル検査 について
翻訳【遺伝】 について
部分集合 について
航法 について
計算機アーキテクチャ について
モデル変換 について
形式的検証 について
計算機網 について
計算機システム開発 について
抽象状態機械 について
モデル について
検証 について