skip to main content
Idioma:
Mostrar Somente
Refinado por: autor: Simão, A remover autor: Yevtushenko, N remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Generating reduced tests for FSMs with extra states
Generating reduced tests for FSMs with extra states
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Generating reduced tests for FSMs with extra states

Adenilso da Silva Simão Alexandre Petrenko; Nina Yevtushenko; International Conference Testing of Software and Communication Systems - TESTCOM (21. 2009 Eindhoven, The Netherlands); Workshop on Formal Approaches to Testing of Software - FATES (9. 2009 Eindhoven, The Netherlands)

Lecture Notes in Computer Science Heidelberg : Springer v. 5826, p. 129-145, 2009

Berlin Springer 2009

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

2
A practical approach for testing timed deterministic finite state machines with single clock
A practical approach for testing timed deterministic finite state machines with single clock
Material Type:
Artigo 		Adicionar ao Meu Espaço

A practical approach for testing timed deterministic finite state machines with single clock

Khaled El-Fakih Nina Yevtushenko; Adenilso da Silva Simão

Science of Computer Programming Amsterdam : Elsevier B. V. v. 80, parte B, p. 343-355, fev 2014

Amsterdam 2014

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Recursos Online (1)

Data de Publicação 

De até
Refinar

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Yevtushenko, N
  2. Simão, A
  3. Workshop on Formal Approaches to Testing of Software - FATES
  4. Petrenko, A
  5. El-Fakih, K

Neste Assunto:

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

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

Buscando em bases de dados remotas. Favor aguardar.