Formal parameter synthesis for tracks segments of a subway mesh.

• Processo: 00/00168-9
• Modalidade de apoio: Auxílio à Pesquisa - Reunião - Exterior
• Data de Início da vigência: 03 de abril de 2000
• Data de Término da vigência: 07 de abril de 2000
• Área do conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Teoria da Computação
• Pesquisador responsável: Arnaldo Vieira Moura
• Beneficiário: Arnaldo Vieira Moura
• Instituição Sede: Instituto de Computação (IC). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil
• Assunto(s): Tempo-real
• Palavra(s)-Chave do Pesquisador: Automato Hibrido | Distribuido | Hytech | Tempo Real | Verificacao Formal