Idioma:

4 Resultados para Produção Intelectual da USP

Ordenado por: Ordenado por: TítuloOr hit Enter to replace sort method

Result Number	Material Type	Record Details and Options
1	Material Type: Artigo	Model partitions and compact test case suites Adilson Luiz Bonifacio Arnaldo Vieira Moura; Adenilso da Silva Simão International Journal of Foundations of Computer Science Singapore : World Scientific Publishing v. 23, n. 1, p. 147-172, 2012 Singapore 2012 Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2269956 )(Acessar) Localização & Reservas Detalhes Resenhas & Tags Solicitações Mais Opções Prateleira Virtual
2	Material Type: Artigo	Model partitions and compact test case suites Adilson Luiz Bonifacio Arnaldo Vieira Moura; Adenilso da Silva Simão International Journal of Foundations of Computer Science Singapore : World Scientific Publishing v. 23, n. 1, p. 147-172, 2012 Singapore 2012 Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2269956 )(Acessar) Localização & Reservas Detalhes Resenhas & Tags Solicitações Mais Opções Prateleira Virtual
3	Material Type: Artigo	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) Localização & Reservas Detalhes Resenhas & Tags Solicitações Mais Opções Prateleira Virtual
4	Material Type: Artigo	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) Localização & Reservas Detalhes Resenhas & Tags Solicitações Mais Opções Prateleira Virtual