Qian Junyan について
Guangxi Key Laboratory of Trusted Software, Guilin University of Electronic Technology について
Gan Pengcheng について
Guangxi Key Laboratory of Trusted Software, Guilin University of Electronic Technology について
Guo Yunchuan について
Institute of Information Engineering, Chinese Academy of Sciences について
Zhao Lingzhong について
Guangxi Key Laboratory of Trusted Software, Guilin University of Electronic Technology について
Gu Tianlong について
Guangxi Key Laboratory of Trusted Software, Guilin University of Electronic Technology について
Jisuanji Xuebao について
スレッド について
モデル検査 について
構文論 について
操作的意味論 について
アルゴリズム について
連続時間系 について
最適化手法 について
相互作用 について
クロック について
状態遷移 について
状態空間 について
実時間 について
実時間システム について
マルチホップネットワーク について
MPDN について
TMPDN について
concurrent recursive programs について
clock equivalence について
reachability について
人工知能 について
マルチホップネットワーク について
実時間システム について
検証 について