Zhang Yu について
南海海洋資源利用国家重点実験室(海南大学),海南海口 570228;海南大学信息科学技術学院,海南海口 570228 について
Dong Yunwei について
西北工業大学計算机学院,陜西西安,710129 について
Feng Wenlong について
南海海洋資源利用国家重点実験室(海南大学),海南海口 570228;海南大学信息科学技術学院,海南海口 570228 について
Huang Mengxing について
南海海洋資源利用国家重点実験室(海南大学),海南海口 570228;海南大学信息科学技術学院,海南海口 570228 について
Ruanjian Xuebao について
計算モデル について
モデル検査 について
情報技術 について
安全性 について
オートマトン について
アクセシビリティ について
システムモデル について
組込みシステム について
意味論 について
制御プログラム について
シミュレーション について
決定問題 について
セキュリティ について
システム検証 について
形式的検証 について
cyber-physical system について
embedded control software program について
automata theoretic について
co-verification について
bounded model checking について
計算機システム開発 について
データ保護 について
計算機網 について
ディジタル計算機ハードウェア一般 について
制御アプリケーション について
連携 について
検証 について
手法 について