Chen Zuxi について
School of Computer Science and Technology, Huaqiao University, Xiamen 361021, China について
Xu Zhongwei について
School of Electrical and Electronic Engineering, Tongji University, Shanghai 201804, China について
Du Junwei について
School of Information of Science and Technology, Qingdao University of Science and Technology, Qingdao, Shangdong 266061, China について
Mei Meng について
School of Electrical and Electronic Engineering, Tongji University, Shanghai 201804, China について
Guo Jing について
School of Electrical and Electronic Engineering, Tongji University, Shanghai 201804, China について
IEEJ Transactions on Electrical and Electronic Engineering について
オートマトン について
時間依存性 について
モデル検査 について
システム について
次元縮小 について
意味論 について
符号化 について
オートマトン理論 について
相互排除 について
プロトコル について
定理証明 について
時間付きオートマトン について
境界モデル検査 について
実時間システム について
セマンティックス について
算術符号化 について
反例 について
bounded model checking について
real-time systems について
timed automata について
satisfiability modulo theories について
オートマトン理論 について
時間付きオートマトン について
境界モデル検査 について
符号化 について