Augusto Cesar Alves Sampaio

Augusto Cesar Alves Sampaio

UFPE - Universidade Federal de Pernambuco
在 cin.ufpe.br 的电子邮件经过验证
被引用次数：3137
Engenharia de software métodos formais testes transformação de programas
Ana C V de Melo

Ana CV de Melo

Professor de Ciência da Computação, Universidade de São Paulo
在 ime.usp.br 的电子邮件经过验证
被引用次数：1441
Engenharia de Software Métodos Formais Sistemas Concorrentes Reutilização de software
Manuel A. Martins

Manuel A. Martins

Departamento de Matemática, Universidade de Aveiro
在 ua.pt 的电子邮件经过验证
被引用次数：722
Lógica Algébrica Lógica Modal Métodos Formais
Kyller Costa Gorgonio

Kyller Costa Gorgonio

DEE / CEEI / UFCG
在 dee.ufcg.edu.br 的电子邮件经过验证
被引用次数：482
ciência da computação sistemas embarcados métodos formais redes de petri sistemas concorrentes
Mark Alan J. Song

Mark Alan J. Song

Programa de Pós-Graduação em Informática
在 pucminas.br 的电子邮件经过验证
被引用次数：295
Métodos Formais Análise Formal de Conceitos Verificação Simbólica de Modelos
Silvio do Lago Pereira

Silvio do Lago Pereira

Departamento de Tecnologia da Informação, FATEC-SP/CEETPS
在 fatecsp.br 的电子邮件经过验证
被引用次数：236
Inteligência Artificial Planejamento Automatizado Métodos Formais
Washington Luís Ribeiro de Carvalho Segundo

Washington Luís Ribeiro de Carvalho Segundo

Coordenador Geral e Pesquisador no Ibict
在 ibict.br 的电子邮件经过验证
被引用次数：211
Teoria da Computação Métodos Formais Interoperabilidade Organização da Informação Ciência Aberta
Thiago Carvalho de Sousa

Thiago Carvalho de Sousa

Universidade Estadual do Piauí
在 ctu.uespi.br 的电子邮件经过验证
被引用次数：139
Engenharia de Software Informática aplicada à Educação Métodos Formais
Joabe Jesus

Joabe Jesus

Universidade de Pernambuco
在 upe.br 的电子邮件经过验证
被引用次数：29
Engenharia de Software Métodos Formais
Karla D. N. Ramos

Karla DN Ramos

Professora de Ciência da Computação, Universidade do Estado do Rio Grande do Norte
在 uern.br 的电子邮件经过验证
被引用次数：22
Arquitetura de Computadores Sistemas Embarcados Redes em Chip Métodos Formais
1 - 10