skip to main content
Primo Search
Search in: Busca Geral
Tipo de recurso Mostra resultados com: Mostra resultados com: Índice

Inferring finite state machines without reset using state identification sequences

Roland Groz Adenilso da Silva Simão; Alexandre Petrenko; Catherine Oriat; 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. 161-177, 2015

Cham Springer 2015

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

ICMC - Inst. Ciên. Mat. Computação (PROD 2797265 ) Disponível na Biblioteca
Local Número de chamada Descrição Status / Emprestado até Código de barras Tipo de item Opções de solicitação
PROD 2797265 Item disponível 2797265-10 DOCUMENTO IMPRESSO
Select Request Option:
  • Localização: ICMC-Inst. C. Mat. Computaçã
  • Número de chamada: PROD 2797265
  • Status: Item disponível
  • Código de Barras: 2797265-10
  • Tipo de item: DOCUMENTO IMPRESSO
  • Status de item: PCD - não circula
  • Exemplar: 1

Buscando em bases de dados remotas. Favor aguardar.