Mostra 1 - 1 risultati di 1 ricerca 'YANGJun(杨军)', tempo di risposta: 0,02s Raffina i risultati
  1. 1
    A formal verification method: model checking(一种形式化验证方法：模型检验)

    A formal verification method: model checking(一种形式化验证方法：模型检验) di YANGJun(杨军), GEHai-tong(葛海通), ZHENGFei-jun(郑飞君), YANXiao-lang(严晓浪)

    Pubblicazione 2006-07-01
    Testo
    Articolo

Strumenti per la ricerca: