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






Ordenar por: RelevânciaAutorTítuloAnoImprime registros no formato resumido      Imprime registros no formato resumido
Registros recuperados : 6
Primeira ... 1 ... Última
1.Imagem marcado/desmarcadoFURTADO, O.; FARINES, J-M. JAVA/RTR - uma linguagem reflexiva para programação de aplicações tempo-real. In: SIMPÓSIO BRASILEIRO DE LINGUAGENS DE PROGRAMAÇÃO, 1., 1996, Belo Horizonte. Anais. Belo Horizonte: SBC / UFMG, 1996. p.357-370

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroImprime registro no formato completo
2.Imagem marcado/desmarcadoFRAGA, J.; FARINES, J.-M.; MONTEZ, C. Um servico de tempo global para sistemas distribuidos de larga escala. In: SIMPOSIO BRASILEIRO DE REDES DE COMPUTADORES, 16., 1998, Rio de Janeiro. Anais. Rio de Janeiro: Universidade Federal Fluminense, 1998. p.792-811

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroImprime registro no formato completo
3.Imagem marcado/desmarcadoCAMARGO, M. S. de; FARINES, J. M. Uma abordagem para especificação e verificação de sistemas dependentes do tempo. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE, 9., 1995, Recife. Anais... Recife: Universidade Federal de Pernambuco, 1995. p.107-122.

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroImprime registro no formato completo
4.Imagem marcado/desmarcadoFONSECA, K. V. O.; FARINES, J-M. Um estudo comparativo de tecnicas de analise de escalonabilidade em um sistema de comunicacao tempo-real. In: SIMPÓSIO BRASILEIRO DE REDES DE COMPUTADORES, 14., 1996, Fortaleza. Anais... Fortaleza: Sociedade Brasileira de Computação; LARC, 1996. p.198-218. Editado por Mauro Oliveira.

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroImprime registro no formato completo
5.Imagem marcado/desmarcadoSILVA, R. P. e; FARINES, J-M. Uma proposta para a implementacao de modelos baseados em Rede de Petri a objetos. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE, 5., 1991, Ouro Preto. Anais... Belo Horizonte: UFMG, [1991?]. p.193-206.

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroImprime registro no formato completo
6.Imagem marcado/desmarcadoMARTINS, R. F.; CAMARGO, M. S. de; FARINES, J-M. Uma ferramenta para auxilio no processo de verificação de especificações em RT-LOTOS. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE, 10., 1996, São Carlos, SP. Anais... São Carlos, SP: USP-ICMSC-DCCE, 1996. p.259-274. Editado por Jose Carlos Maldonado e Paulo Cesar Masiero.

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroImprime registro no formato completo
Registros recuperados : 6
Primeira ... 1 ... Última
Nenhum registro encontrado para a expressão de busca informada.
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