Skip to content. Skip to navigation

Instituto de Computação - UNICAMP

Personal tools

Home → Áreas de Pesquisa → Linguagens Formais e Autômatos

IC 40 anos

Document Actions

Linguagens Formais e Autômatos

Descrição da Área:
Autômatos com relógios ("timed automata") e autômatos híbridos. Ferramentas para análise de sistemas usando técnicas formais envolvendo autômatos com relógios e autômatos híbridos. Complexidade dos formalismos.

Integrantes:

News: Concurso Público para Professor Doutor - MS-3 16/05/2012; Inscrições para a Pós-Graduação no IC de 01 a 31/05/2012. 25/04/2012; Resultado de Aluno Especial no IC para o 1s12. 24/02/2012; Resultado do Processo Seletivo de Aluno Regular da Pós-Graduação do IC para o 2s2011. 28/11/2011; Aluno de graduação do IC recebe prêmio de melhor artigo no WTICG, do SBSeg'2011 16/11/2011; More news…

Upcoming Events: Concurso Público para Professor Doutor - MS-3 16/05/2012; Defesa de Dissertação de Mestrado: Érika Regina Campos de Almeida Auditório do IC - Sala 85 - IC 2 ,
21/05/2012; Defesa de Dissertação de Mestrado: Lucas de Oliveira Auditório do IC - Sala 85 - IC 2,
23/05/2012; Defesa de Dissertação de Mestrado: Gustavo Prado Alkmim Auditório do IC - Sala 85 - IC 2,
26/06/2012; Previous events…; Upcoming events…

Instituto de Computação :: Universidade Estadual de Campinas
Av. Albert Einstein, 1251 - Cidade Universitária • CEP 13083-852 • Campinas/SP - Brasil • Fone: [19] 3521-5838

Instituto de Computação - UNICAMP

Personal tools

Local resources

Document Actions

Linguagens Formais e Autômatos