Mostrando
1 - 3
resultados de
3
para a busca '
Valério Rosset
'
Pular para o conteúdo
Portal do Governo Brasileiro
Toggle navigation
Instituto Brasileiro de Informação em Ciência e Tecnologia
Início
Sobre
Fontes Coletadas
Indicadores
Contato
Faq
A sua conta
Sair
Entrar
Idioma
Português (Brasil)
English
Todos os campos
Título
Autor
Assunto
Buscar
Busca avançada
Autor
Valério Rosset
Exportar
Exportar RIS
Exportar CSV
Mostrando
1 - 3
resultados de
3
para a busca '
Valério Rosset
'
, tempo de busca: 0,02s
Refinar Resultados
Ordenar
Relevância
Data descendente
Data ascendente
Área
Autor
Título
1
A group membership protocol for communication systems with both static and dynamic scheduling
por
Valério
Rosset
Publicado em 2006
Acessar documento
Livro
2
Formal verification of a group membership protocol using model checking
por
Valério
Rosset
Publicado em 2007
Acessar documento
Livro
3
Model-checking a group membership protocol for TDMA-based networks with both static and dynamic scheduling
por
Valério
Rosset
Publicado em 2006
Acessar documento
Livro
Exportar CSV
Exportar RIS
Carregando...