Specification and validation of a real-time parallel kernel using lotos.

• Processo: 01/06152-0
• Modalidade de apoio: Auxílio à Pesquisa - Reunião - Exterior
• Data de Início da vigência: 15 de agosto de 2001
• Data de Término da vigência: 18 de agosto de 2001
• Área do 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: Wanderley Lopes de Souza
• 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): Sistemas distribuídos Validação
• Palavra(s)-Chave do Pesquisador: Sistemas Distribuidos | Validacao