Zobrazuji výsledky 1 - 2 z 2 pro vyhledávání 'YANXiao-lang(严晓浪)', doba hledání: 0,02 s.
Upřesnit hledání
-
1
-
2
A formal verification method: model checking(一种形式化验证方法:模型检验) Autor YANGJun(杨军), GEHai-tong(葛海通), ZHENGFei-jun(郑飞君), YANXiao-lang(严晓浪)
Vydáno 2006-07-01
Článek