skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
previous page 1 Resultados 2 3 4 5 next page
Mostrar Somente
Refinado por: Biblioteca: ICMC - Inst. Ciên. Mat. Computação remover
Result Number Material Type Add to My Shelf Action Record Details and Options
11
Checking experiments for finite state machines with symbolic inputs
Checking experiments for finite state machines with symbolic inputs
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Checking experiments for finite state machines with symbolic inputs

Alexandre Petrenko Adenilso da Silva Simão; IFIP WG 6.1 International Conference on Testing Software and Systems - ICTSS (27. 2015 Sharjah and Dubai, United Arab Emirates)

Lecture Notes in Computer Science Cham : Springer v. 9447, p. 3-18, 2015

Cham Springer 2015

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

12
Public-key cryptography state of the art and future directions
Public-key cryptography state of the art and future directions
Material Type:
Livro 		Adicionar ao Meu Espaço

Public-key cryptography state of the art and future directions

Workshop on Public-Key Cryptography, State of theArt and Future Directions, Oberwolfach, 1991 Thomas Beth

Berlin Springer 1992

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 Lncs v.578 e.1 ) e outros locais(Acessar)

13
Current state on representation of reference architectures
Current state on representation of reference architectures
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Current state on representation of reference architectures

Milena Guessi Lucas Bueno Ruas de Oliveira; Elisa Yumi Nakagawa

São Carlos ICMC-USP 2011

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

14
Model-based testing of service-oriented applications via state models
Model-based testing of service-oriented applications via state models
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Model-based testing of service-oriented applications via state models

André Takeshi Endo Adenilso da Silva Simão; IEEE International Conference on Services Computing (8. 2011 Washington, DC)

Proceedings Los Alamitos, CA : IEEE Computer Society, 2011

Los Alamitos, CA IEEE Computer Society 2011

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

15
Generating checking sequences for partial finite state machines
Generating checking sequences for partial finite state machines
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.

16
Topology Conference, Virginia Polytechnic Inst. and State Univ., March 22-24, 1973 [Proceedings]
Topology Conference, Virginia Polytechnic Inst. and State Univ., March 22-24, 1973 [Proceedings]
Material Type:
Livro 		Adicionar ao Meu Espaço

Topology Conference, Virginia Polytechnic Inst. and State Univ., March 22-24, 1973 [Proceedings]

Topology Conference (1973 Virginia Polytechnic Institute and State University) Raymond F Dickman; Peter Fletcher 1939-

Berlin Springer New York 1974

Localização: ICMC - Inst. Ciên. Mat. Computação    (00-02 Lnm v.375 e.2 ) e outros locais(Acessar)

17
Mutation analysis testing for finite state machines
Mutation analysis testing for finite state machines
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Mutation analysis testing for finite state machines

S C P F Fabbri José Carlos Maldonado; Márcio Eduardo Delamaro; Paulo Cesar Masiero; International Symposium on Software Reliability Engineering (5. 1994 Monterey)

Proceedings Monterey : Ieee, 1994

Monterey Ieee 1994

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

18
An assessment of extended finite state machine test selection criteria
An assessment of extended finite state machine test selection criteria
Material Type:
Artigo 		Adicionar ao Meu Espaço

An assessment of extended finite state machine test selection criteria

Khaled El-Fakih Adenilso da Silva Simão; Noshad Jadoon; José Carlos Maldonado

The Journal of Systems and Software Amsterdm : Elsevier v. 123, p. 106-118, Jan. 2017

Amsterdam 2017

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

19
The Geometry of metric and linear spaces proceedings of a conference held at Michigan State University, East Lansing, June 17-19, 1974
The Geometry of metric and linear spaces proceedings of a conference held at Michigan State University, East Lansing, June 17-19, 1974
Material Type:
Livro 		Adicionar ao Meu Espaço

The Geometry of metric and linear spaces proceedings of a conference held at Michigan State University, East Lansing, June 17-19, 1974

L. M Kelly 1914- (Leroy Milton); Michigan State University

Berlin Springer-Verlag New York 1975

Localização: ICMC - Inst. Ciên. Mat. Computação    (00-02 LNM v.490 ex.1 ) e outros locais(Acessar)

20
Conformance testing by model checking timed extended finite state machines
Conformance testing by model checking timed extended finite state machines
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Conformance testing by model checking timed extended finite state machines

Adilson L Bonifacio Arnaldo Vieira Moura; Adenilso da Silva Simão; José Carlos Maldonado; Brazilian Symposium on formal Methods (2006 Natal)

Proceedings Natal, 2006

Natal 2006

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

previous page 1 Resultados 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (38)

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (162)
  2. Produções Acadêmicas  (121)
  3. Artigos  (111)
  4. Revistas  (4)
  5. Audiovisuais  (2)
  6. Produções Técnicas  (1)
  7. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1975  (23)
  2. 1975Até1988  (33)
  3. 1989Até1999  (75)
  4. 2000Até2011  (99)
  5. Após 2011  (168)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.