skip to main content
Idioma:
Refinado por: Nome da Publicação: Eletronic Notes in Theoretical Computer Science remover assunto: Engenharia De Software 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

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

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

Neste Assunto:

  1. Sistemas De Informação

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

Buscando em bases de dados remotas. Favor aguardar.