Portal do Governo Brasileiro
BDPA - Bases de Dados da Pesquisa Agropecuária Embrapa
Home Bibliotecas Itens selecionados Créditos Ajuda
 






Registro Completo
Biblioteca(s):  Embrapa Agricultura Digital.
Data corrente:  18/07/1996
Data da última atualização:  25/09/2009
Autoria:  PERKUSICH, A.; FIGUEIREDO, J. C. A. de.
Título:  A G-Net based environment for logical and timing analysis of software systems.
Ano de publicação:  1995
Fonte/Imprenta:  In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE, 9., 1995, Recife. Anais... Recife: Universidade Federal de Pernambuco, 1995.
Páginas:  p. 241-256.
Idioma:  Inglês
Conteúdo:  The application of Petri nets for the modeling and verification of systems, at specification and design levels are well know. Despite of powerful structuring mechsanisms available in the Petri nets theory for the construction of the model of complex systems, the designer is still likely to face the problem of state explosion, when analysing and verifying large systems. Also, when dealing with real-time systems, the verification of timing properties is necessary. A model, named G-Nets, and a time extension, named Fuzzy Time G-Nets, were introduced to the modular analysis of complex real-time software systems. In this work we introduce an environment for logical and timing analysis based on this two kind of Petri nets.
Palavras-Chave:  Fuzzy Time G-Nets; G-Nets; Modelagem; verificação de sistema.
Thesagro:  Tecnologia.
Thesaurus Nal:  design.
Categoria do assunto:  --
Marc:  Mostrar Marc Completo
Registro original:  Embrapa Agricultura Digital (CNPTIA)
Biblioteca ID Origem Tipo/Formato Classificação Cutter Registro Volume Status URL
CNPTIA3534 - 1ADDPL - PP005.1SIM1995.00009
Voltar






Ordenar por: RelevânciaAutorTítuloAnoImprime registros no formato resumido      Imprime registros no formato resumido
Registros recuperados : 217
Primeira ... 123456789 ... Última
21.Imagem marcado/desmarcadoFIGUEIREDO, J. E. F.; VASCONCELOS, M. J. V. de. Função dos miRNAs na regulação gênica pós transcricional e perspectivas para o melhoramento de plantas. Sete Lagoas: Embrapa Milho e Sorgo, 2020. 40 p. (Embrapa Milho e Sorgo. Documentos, 249).
Tipo: Documentos
Biblioteca(s): Embrapa Milho e Sorgo.
Visualizar detalhes do registroAcesso ao objeto digitalImprime registro no formato completo
22.Imagem marcado/desmarcadoPELLEGRIN, A. O.; SERENO, J. R. B.; FIGUEIREDO, J. O. Levantamento sorologico de aglutinas anti-letospira em bovinos da sub-regiao da Nhecolandia, Pantanal Sul-Mato-Grossense. In: CONGRESSO BRASILEIRO DE MEDICINA VETERINARIA, 22., 1992, Curitiba. Resumos... [S.l.: s.n.] 1992. n.145.
Biblioteca(s): Embrapa Pantanal.
Visualizar detalhes do registroImprime registro no formato completo
23.Imagem marcado/desmarcadoVASCONCELOS, M. J. V. de; FIGUEIREDO, J. E. F. Regulação gênica por metilação de DNA dependente de RNA (RdDM - RNA-dependent DNA methylation). Sete Lagoas: Embrapa Milho e Sorgo, 2019. 43 p. (Embrapa Milho e Sorgo. Documentos, 246).
Tipo: Documentos
Biblioteca(s): Embrapa Milho e Sorgo.
Visualizar detalhes do registroAcesso ao objeto digitalImprime registro no formato completo
24.Imagem marcado/desmarcadoVASCONCELOS, M. J. V. de; FIGUEIREDO, J. E. F. Mutagênese dirigida por oligonucleotídeos: bases históricas e suas aplicações em engenharia genética. Sete Lagoas: Embrapa Milho e Sorgo, 2017. 43 p. (Embrapa Milho e Sorgo. Documentos, 217).
Tipo: Documentos
Biblioteca(s): Embrapa Milho e Sorgo.
Visualizar detalhes do registroAcesso ao objeto digitalImprime registro no formato completo
25.Imagem marcado/desmarcadoFIGUEIREDO, J. E. F.; PACCOLA-MEIRELLES, L. D. Simple, rapid and accurate PCR-based detection of Pantoea ananatis in maize, sorghum and Digitaria sp. Journal of Plant Pathology, Pisa, v. 94, n. 3, p. 663-667, 2012.
Tipo: Artigo em Periódico IndexadoCirculação/Nível: A - 2
Biblioteca(s): Embrapa Milho e Sorgo.
Visualizar detalhes do registroAcesso restrito ao objeto digitalImprime registro no formato completo
26.Imagem marcado/desmarcadoVASCONCELOS, M. J. V. de; FIGUEIREDO, J. E. F. TALEN uma ferramenta na edição de genomas. Sete Lagoas: Embrapa Milho e Sorgo, 2015. 22 p. (Embrapa Milho e Sorgo. Documentos, 180).
Tipo: Documentos
Biblioteca(s): Embrapa Milho e Sorgo.
Visualizar detalhes do registroAcesso ao objeto digitalImprime registro no formato completo
27.Imagem marcado/desmarcadoVASCONCELOS, M. J. V. de; FIGUEIREDO, J. E. F. Tecnologia CRISPR-Cas para edição genômica. Sete Lagoas: Embrapa Milho e Sorgo, 2015. 37 p. (Embrapa Milho e Sorgo. Documentos, 197).
Tipo: Documentos
Biblioteca(s): Embrapa Milho e Sorgo.
Visualizar detalhes do registroAcesso ao objeto digitalImprime registro no formato completo
28.Imagem marcado/desmarcadoVASCONCELOS, M. J. V. de; FIGUEIREDO, J. E. F. Transformação genética de plantas pelo método Floral Dip. Sete Lagoas: Embrapa Milho e Sorgo, 2017. 22 p. (Embrapa Milho e Sorgo. Documentos, 219).
Tipo: Documentos
Biblioteca(s): Embrapa Milho e Sorgo.
Visualizar detalhes do registroAcesso ao objeto digitalImprime registro no formato completo
29.Imagem marcado/desmarcadoFIGUEIREDO, J. E. F.; TEIXEIRA, M. A.; BRESSAN, W.; PINTO, N. F. J.; CASELA, C. R. Avaliação da atividade antagonista da bactéria endofítica CNPMS-22 sobre fungos fitopatogênicos in vitro. Sete Lagoas: Embrapa Milho e Sorgo, 2010. 4 p. (Embrapa Milho e Sorgo. Comunicado técnico, 186).
Tipo: Comunicado Técnico/Recomendações Técnicas
Biblioteca(s): Embrapa Milho e Sorgo.
Visualizar detalhes do registroAcesso ao objeto digitalImprime registro no formato completo
30.Imagem marcado/desmarcadoFIGUEIREDO, J. E. F.; ROCHA, W. D.; COELHO, V. T. da S. Analise computacional para estudo de genômica funcional. I. Identificação do domínio de ligação de calmodulina em proteinas HSP70 e BIP. Sete Lagoas: Embrapa Milho e Sorgo, 2003. 6 p. (Embrapa Milho e Sorgo. Comunicado técnico, 63).
Tipo: Comunicado Técnico/Recomendações Técnicas
Biblioteca(s): Embrapa Milho e Sorgo.
Visualizar detalhes do registroAcesso ao objeto digitalImprime registro no formato completo
31.Imagem marcado/desmarcadoPAULA, N. Q. de; BISCOLA, P. H. N.; FIGUEIREDO, J. de C.; AZEVEDO, D. B. de. Associação entre medidas de centralidade em rede e a geração de cultivares: um estudo com Centros de Pesquisa da Embrapa. In: CONGRESSO LATINO-IBEROAMERICANO DE GESTÃO DA TECNOLOGIA, 16., 2015, Porto Alegre. Inovação para além da tecnologia: anais. Porto Alegre: Universidade Federal do Rio Grande do Sul, 2015.
Tipo: Artigo em Anais de Congresso
Biblioteca(s): Embrapa Gado de Corte.
Visualizar detalhes do registroAcesso ao objeto digitalImprime registro no formato completo
32.Imagem marcado/desmarcadoKARAM, D.; WESTRA, P.; NIESSEN, S. J.; WARD, S. M.; FIGUEIREDO, J. E. F. Assessment of silver-stained AFLP markers for studying DNA polymorphism in proso millet (Panicum miliaceum L.). Revista Brasileira de Botânica, São Paulo, v. 29, n. 4, p. 609-615, out./dez. 2006.
Biblioteca(s): Embrapa Milho e Sorgo.
Visualizar detalhes do registroAcesso ao objeto digitalImprime registro no formato completo
33.Imagem marcado/desmarcadoPELLEGRIN, A. O.; FIGUEIREDO, J. F.; SERENO, J. R. B.; LEITE, R. C.; LAGE, A. P. Cinetica da imunidade local mediada por imunoglobulinas A anti-Campylobacter fetus em novilhas naturalmente infectadas. Revista Brasileira de Reproducao Animal, v.25, n.2, p.247-248, abr./jun. 2001.
Biblioteca(s): Embrapa Pantanal.
Visualizar detalhes do registroImprime registro no formato completo
34.Imagem marcado/desmarcadoFIGUEIREDO, J. F.; PELLEGRIN, A. O.; LEITE, K. M.; LAGE, A. P. Comparacao entre diferentes preparacoes de antigenos de Campylobacter fetus subso. venerelais para utilizacao em um teste de ELISA IgA. In: CONGRESSO BRASILEIRO DE VETERIONARIA, 27.; CONGRESSO PAULISTA DE VETERINARIA, 5.; CONFERENCIA ANUAL DA SOCIEDADE PAULISTA DE MEDICINA VETERINARIA, 55.; EXPOVET, 6., 2000, Aguas de Lindoia. Resumos. Aguas de Lindoia: [s.n.], 2000. p.88.
Biblioteca(s): Embrapa Pantanal.
Visualizar detalhes do registroImprime registro no formato completo
35.Imagem marcado/desmarcadoMIRANDA, K. L.; LAGE, A. P.; MACHADO, R. P.; FIGUEIREDO, J. F.; PELLEGRIN, A. O. Comparacao entre diferentes preparacoes de antigenos de Campylobacter fetus venerealis para utilizacao em um teste de ELISA IgA. In: SEMANA DO CONHECIMENTO DA UFMG, 1.; SEMANA DE INICIACAO CIENTIFICA, 9., 2000, Belo Horizonte. Resumos. Belo Horizonte: UFMG, 2000. p.30.
Biblioteca(s): Embrapa Pantanal.
Visualizar detalhes do registroImprime registro no formato completo
36.Imagem marcado/desmarcadoBEM, A. R. de; FIGUEIREDO, J. R.; SOUSA, R. V. de. Desenvolvimento de metodologia para análise de folículos ovarianos pré-antrais de bovinos em microscopia eletrônica. Arquivos da Faculdade de Veterinária UFRGS, v. 25, n. 1, p. 180, 1997. Suplemento: REUNIÃO ANUAL DA SOCIEDADE BRASILEIRA DE TRANSFERÊNCIA DE EMBRIÕES, 12., 1997, Foz do Iguaçu, PR.
Biblioteca(s): Embrapa Recursos Genéticos e Biotecnologia.
Visualizar detalhes do registroImprime registro no formato completo
37.Imagem marcado/desmarcadoKARAM, D.; WARD, S. M.; WESTRA, P.; NESSEN, S. J.; FIGUEIREDO, J. E. F. Diversidade genética de plantas daninhas revelada por AFLP. I. Proso Millet (Panicum miliaceum, L.). Sete Lagoas: Embrapa Milho e Sorgo, 2003. 4 p. (Embrapa Milho e Sorgo. Comunicado técnico, 71).
Tipo: Comunicado Técnico/Recomendações Técnicas
Biblioteca(s): Embrapa Milho e Sorgo.
Visualizar detalhes do registroAcesso ao objeto digitalImprime registro no formato completo
38.Imagem marcado/desmarcadoLAGE, A. P.; GUIMARAES, P. H. S.; PELLEGRIN, A. O.; FIGUEIREDO, J. F.; MOREIRA, E. C. Comparison of the microscopic agglutination test and the rapid microscopic agglutination test in the diagnosis of bovine leptospirosis. Clinical Microbiology and Infection, v.5, p.308, 1999. Supplement 3.
Biblioteca(s): Embrapa Pantanal.
Visualizar detalhes do registroImprime registro no formato completo
39.Imagem marcado/desmarcadoVASCONCELOS, M. J. V. de; FIGUEIREDO, J. E. F.; SCHAFFERT, R. E.; RAGHOTHAMA, K. G. Isolamento e caracterização de genes transportadores de fósforo de alta afinidade em sorgo. Sete Lagoas: Embrapa Milho e Sorgo, 2019. 21 p. (Embrapa Milho e Sorgo. Boletim de Pesquisa e Desenvolvimento, 189).
Tipo: Boletim de Pesquisa e Desenvolvimento
Biblioteca(s): Embrapa Milho e Sorgo.
Visualizar detalhes do registroAcesso ao objeto digitalImprime registro no formato completo
40.Imagem marcado/desmarcadoLUCCI, C. M.; RUMPF, R; FIGUEIREDO, J. R.; BÁO, S. N. Isolamento de folículos ovarianos pré-antrais (fopa) de vacas zebuinas: desenvolvimento e eficiência de um método mecânico específico. In: WORKSHOP DO TALENTO ESTUDANTIL DA EMBRAPA RECURSOS GENÉTICOS E BIOTECNOLOGIA, 4., 1999, Brasília. Anais: resumos dos trabalhos. Brasília, DF: EMBRAPA-CENARGEN, 1999. p. 169.
Tipo: Resumo em Anais de CongressoCirculação/Nível: -- - --
Biblioteca(s): Embrapa Recursos Genéticos e Biotecnologia.
Visualizar detalhes do registroAcesso ao objeto digitalImprime registro no formato completo
Registros recuperados : 217
Primeira ... 123456789 ... Última
Nenhum registro encontrado para a expressão de busca informada.
  
 

Embrapa
Todos os direitos reservados, conforme Lei n° 9.610
Política de Privacidade
Área Restrita
Embrapa Agricultura Digital
Av. André Tosello, 209 - Barão Geraldo
Caixa Postal 6041- 13083-886 - Campinas, SP
SAC: https://www.embrapa.br/fale-conosco

Valid HTML 4.01 Transitional