Pessoas:

Laboratorios:

Relacionados:

Ana Regina Cavalcanti da Rocha Anamaria Martins Moreira Armando Carlos de Pina Filho Eber Assis Schmitz Edmundo Albuquerque de Souza e Silva Flávio de Marco Filho Fábio Happ Botler Jorge Lopes de Souza Leão José Antonio dos Santos Borges Juliana Carpes Imperial Paulo de Figueiredo Pires Sandra Oda Vicente de Paulo Santos Cerqueira

Palavras-chave

para verificacao regular graphs plastico conjecture misturas asfalticas utilizacao transformacao polimeros avaliacao metodo software development agentes rede technique pavimentacao asfaltica model aplicacao qualidade logica specification code robot programas multimidia length desenvolvimento software automacao treewidth modelagem network hoare