Profiles

Augusto Cesar Alves Sampaio

UFPE - Universidade Federal de Pernambuco

Verified email at cin.ufpe.br

Cited by 3111

Engenharia de software métodos formais testes transformação de programas

Ana CV de Melo

Professor de Ciência da Computação, Universidade de São Paulo

Verified email at ime.usp.br

Cited by 1436

Engenharia de Software Métodos Formais Sistemas Concorrentes Reutilização de software

Manuel A. Martins

Departamento de Matemática, Universidade de Aveiro

Verified email at ua.pt

Cited by 717

Lógica Algébrica Lógica Modal Métodos Formais

Kyller Costa Gorgonio

DEE / CEEI / UFCG

Verified email at dee.ufcg.edu.br

Cited by 478

ciência da computação sistemas embarcados métodos formais redes de petri sistemas concorrentes

Mark Alan J. Song

Programa de Pós-Graduação em Informática

Verified email at pucminas.br

Cited by 295

Métodos Formais Análise Formal de Conceitos Verificação Simbólica de Modelos

Silvio do Lago Pereira

Departamento de Tecnologia da Informação, FATEC-SP/CEETPS

Verified email at fatecsp.br

Cited by 239

Inteligência Artificial Planejamento Automatizado Métodos Formais

Washington Luís Ribeiro de Carvalho Segundo

Coordenador Geral e Pesquisador no Ibict

Verified email at ibict.br

Cited by 206

Teoria da Computação Métodos Formais Interoperabilidade Organização da Informação Ciência Aberta

Thiago Carvalho de Sousa

Universidade Estadual do Piauí

Verified email at ctu.uespi.br

Cited by 139

Engenharia de Software Informática aplicada à Educação Métodos Formais

Karla DN Ramos

Professora de Ciência da Computação, Universidade do Estado do Rio Grande do Norte

Verified email at uern.br

Cited by 22

Arquitetura de Computadores Sistemas Embarcados Redes em Chip Métodos Formais

Edwin Monteiro

Universidade Federal do Amazonas

Verified email at icomp.ufam.edu.br

Cited by 15

Informática na Educação Mineração de Dados Educacionais Métodos Formais Sistemas Distribuídos Robótica Educacional

1 - 10