Towards formal reuse of hardware components.

• Processo: 97/01544-0
• Modalidade de apoio: Auxílio à Pesquisa - Reunião - Exterior
• Data de Início da vigência: 14 de maio de 1997
• Data de Término da vigência: 17 de maio de 1997
• Área do conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Sistemas de Computação
• Pesquisador responsável: Ana Cristina Vieira de Melo
• Beneficiário: Ana Cristina Vieira de Melo
• Instituição Sede: Instituto de Matemática e Estatística (IME). Universidade de São Paulo (USP). São Paulo , SP, Brasil
• Palavra(s)-Chave do Pesquisador: Algebras De Processos | Reutilizacao | Sintese De Alto Nivel