skip to main content
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters

Resultados de 1 a 10 de 33  para Produção Intelectual da USP

Resultados 1 2 3 4 next page
Mostrar Somente
Refinado por: autor: Simão, A remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

Structural testing for semaphore-based multithread programs

Felipe S. Sarmanho Paulo Sérgio Lopes de Souza; Simone do Rocio Senger de Souza; Adenilso da Silva Simão; International Conference in Computer Science (8. 2008 Krakow)

Lecture Notes in Computer Science v. 5101, p. 337-346, 2008

Heidelberger Springer 2008

Acesso online. A biblioteca também possui exemplares impressos.

2
Checking sequence generation using state distinguishing subsequences
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

Checking sequence generation using state distinguishing subsequences

Adenilso da Silva Simão A Petrenko; IEEE International Conference on Software Testing, Verification, and Validation Workshops (2. (2009 Denver, Colorado - USA)

Proceedings Washington : IEEE Computer Society, 2009

Washington, DC IEEE Computer Science 2009

Acesso online. A biblioteca também possui exemplares impressos.

3
Material Type:
Livro
Adicionar ao Meu Espaço

This volume contains the papers presented at SBMF 2010... [Prefácio]

Jim Davies Leila Silva; Adenilso da Silva Simão; Brazilian Symposium on Formal Methods - SBMF (13. 2010 Natal)

Proceedings Heidelberg : Springer

Heidelberg Springer 2011

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-2220867 ) e outros locais(Acessar)

4
Material Type:
Livro
Adicionar ao Meu Espaço

Testing software and systems

Alexandre Petrenko Adenilso da Silva Simão; José Carlos Maldonado; IFIP WG 6.1 International Conference - ICTSS (22. 2010 Natal)

Proceedings

Berlin Springer 2010

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-2132657 ) e outros locais(Acessar)

5
Material Type:
Livro
Adicionar ao Meu Espaço

Formal methods foundations and applications

Jim Davies Leila Silva; Adenilso da Silva Simão; Brazilian Symposium on Formal Methods - SBMF (13. 2010 Natal)

Proceedings Heidelberg : Springer

Heidelberg Springer 2011

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-2213638 ) e outros locais(Acessar)

6
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

Generating checking sequences for partial finite state machines

Adenilso da Silva Simão Alexandre Petrenko; International Conference, TestCom 2008 - IFIP TC6/WG 6.1 (20 2008 Tokyo)

Lecture Notes in Computer Science Berlin v. 5047, p. 153-168, 2008

Berlin Springer 2008

Acesso online. A biblioteca também possui exemplares impressos.

7
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

ValiPVM - a graphical tool for structural testing of PVM programs

Paulo Sérgio Lopes de Souza Eduardo T Sawabe; Adenilso da Silva Simão; Sílvia Regina Vergílio; Simone do Rocio Senger de Souza; European PVM/MPI User's Group Meeting (15 2008 Irlanda)

Lecture Notes in Computer Science v. 5205, p. 257-264, 2008

Heidelberger Springer 2008

Acesso online. A biblioteca também possui exemplares impressos.

8
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

Inferring FSM models of systems without reset

Roland Groz Adenilso da Silva Simão; Alexandre Petrenko; Catherine Oriat; International Dagstuhl Seminar 16172 (2016 Dagstuhl Castle, Germany)

Lecture Notes in Computer Science Cham : Springer v. 11026, p. 178-201, 2019

Cham Springer 2019

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

9
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)

10
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)

Resultados de 1 a 10 de 33  para Produção Intelectual da USP

Resultados 1 2 3 4 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Disponível na Biblioteca (32)
  2. Recursos Online (7)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (29)
  2. Livros  (4)
  3. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de2010  (9)
  2. 2010Até2011  (3)
  3. 2012Até2013  (4)
  4. 2014Até2016  (8)
  5. Após 2016  (9)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.