Gao Zheng について
南京航空航天大学 計算机科学与技術学院,江蘇 南京,210016 について
Cao Zining について
南京航空航天大学 計算机科学与技術学院,江蘇 南京,210016 について
Jisuanji Jishu yu Fazhan について
実時間処理 について
モデル について
言語 について
形式記述 について
形式的仕様 について
安全性 について
構造解析 について
信頼性 について
ハードウェア について
形式的仕様記述言語 について
Z言語 について
形式的検証 について
モデリング言語 について
ソフトウェアアーキテクチャ について
Z-AADL について
ZIA について
CT-ZIA について
model transformation について
計算機システム開発 について
モデル について