skip to main content
Idioma:
Refinado por: autor: Maldonado, J remover tipo de recurso: Artigos remover Moura, A remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Towards deriving test sequences by model checking
Towards deriving test sequences by model checking
Material Type:
Artigo 		Adicionar ao Meu Espaço

Towards deriving test sequences by model checking

Adilson Luiz Bonifácio Arnaldo Vieira Moura; Adenilso da Silva Simão; José Carlos Maldonado

Eletronic Notes in Theoretical Computer Science Amsterdam v. 195, p. 21-40, 2008

Amsterdam 2008

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-1672646 )(Acessar)

2
Towards deriving test sequences by model checking
Towards deriving test sequences by model checking
Material Type:
Artigo 		Adicionar ao Meu Espaço

Towards deriving test sequences by model checking

Adilson Luiz Bonifácio Arnaldo Vieira Moura; Adenilso da Silva Simão; José Carlos Maldonado

Eletronic Notes in Theoretical Computer Science Amsterdam v. 195, p. 21-40, 2008

Amsterdam 2008

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-1672646 )(Acessar)

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Maldonado, J
  2. Simão, A
  3. Bonifácio, A
  4. Moura, A
  5. Maldonado, J

Neste Assunto:

  1. Sistemas De Informação
  2. Engenharia De Software

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.