A mostrar 1 - 1 resultados de 1 para a pesquisa 'YANGJun(杨军)', tempo de pesquisa: 0.05seg Refinar resultados
  1. 1
    A formal verification method: model checking(一种形式化验证方法：模型检验)

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

    Publicado em 2006-07-01
    Obter o texto integral
    Artigo

Ferramentas de pesquisa: