| Processo: | 98/09043-2 |
| Modalidade de apoio: | Auxílio à Pesquisa - Reunião - Exterior |
| Data de Início da vigência: | 26 de agosto de 1998 |
| Data de Término da vigência: | 04 de setembro de 1998 |
| Área do conhecimento: | Engenharias - Engenharia Elétrica - Eletrônica Industrial, Sistemas e Controles Eletrônicos |
| Pesquisador responsável: | Rafael Santos Mendes |
| Beneficiário: | Rafael Santos Mendes |
| Instituição Sede: | Faculdade de Engenharia Elétrica e de Computação (FEEC). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil |
| Assunto(s): | Lógica modal Sistemas dinâmicos Sistemas a eventos discretos |
| Palavra(s)-Chave do Pesquisador: | Algebra Min-Max | Logica Modal | Sistemas A Eventos Discretos | Sistemas Dinamicos | Verificacao De Especificacoes |
| Matéria(s) publicada(s) na Agência FAPESP sobre o auxílio: |
| Mais itensMenos itens |
| TITULO |
| Matéria(s) publicada(s) em Outras Mídias ( ): |
| Mais itensMenos itens |
| VEICULO: TITULO (DATA) |
| VEICULO: TITULO (DATA) |