Cui Ling について
College of Computer Science, Beijing University of Technology,Beijing Key Laboratory of Trusted Computing について
Zhang Jianbiao について
College of Computer Science, Beijing University of Technology,Beijing Key Laboratory of Trusted Computing,National Engineering Laboratory for Critical Technologies of Information Security Classified Protection について
Gong Bei について
College of Computer Science, Beijing University of Technology,Beijing Key Laboratory of Trusted Computing について
Wu Liying について
College of Computer Science, Beijing University of Technology について
Beijing Gongye Daxue Xuebao について
有限状態機械 について
故障検出 について
被覆 について
理論解析 について
テストケース について
テスト生成 について
finite state machine (FSM) について
part of W(Wp) method について
set covering について
reduce について
計算機システム開発 について
計算理論 について