'YANXiao-lang(严晓浪)' хайлтад зориулсан 2-н үр дүнгүүд 1 - 2-г харуулж байна, асуулгын хугацаа: 0.02s
Үр дүнг сайжруулах
-
1
-
2
A formal verification method: model checking(一种形式化验证方法:模型检验) -н YANGJun(杨军), GEHai-tong(葛海通), ZHENGFei-jun(郑飞君), YANXiao-lang(严晓浪)
Хэвлэсэн 2006-07-01
Өгүүллэг