Busca avançada
Ano de início
Entree

Especificação formal e validação de protocolos para redes de alta velocidade

Processo: 94/04144-4
Modalidade de apoio:Bolsas no Brasil - Mestrado
Data de Início da vigência: 01 de março de 1995
Data de Término da vigência: 31 de agosto de 1996
Área de conhecimento:Ciências Exatas e da Terra - Ciência da Computação - Metodologia e Técnicas da Computação
Pesquisador responsável:Wanderley Lopes de Souza
Beneficiário:Marcos Martins Duma
Instituição Sede: Centro de Ciências Exatas e de Tecnologia (CCET). Universidade Federal de São Carlos (UFSCAR). São Carlos , SP, Brasil
Assunto(s):Protocolos de comunicação   Redes de computadores   Teleinformática
Palavra(s)-Chave do Pesquisador:Especificacao Formal | Estelle | Protocolos | Redes De Computadores | Teleinformatica | Validacao

Resumo

1994/04144-4 (AU)

Matéria(s) publicada(s) na Agência FAPESP sobre a bolsa:
Mais itensMenos itens
Matéria(s) publicada(s) em Outras Mídias ( ):
Mais itensMenos itens
VEICULO: TITULO (DATA)
VEICULO: TITULO (DATA)