PWG Fontes de Dados Política de privacidade Termos de Uso Quem Somos FAQ
gov
Conjunto de dados de bolsistas de iniciação científica
ver Fonte/+info (dt.atualização: 02/01/2022)
bolsista |
E VALIDAÇÃO FORMAL DE SOFTWARE." |
curso_bolsista |
7029 |
programa |
Semântica formal e validação de filtros de pacotes linux expressos na linguagem eBPF |
ano |
|
orientador |
|
setor |
|
linha_pesquisa |
|
id_projeto |
|
título |
|
fomento |
|
tipo_bolsa |
gov
Conjunto de dados de bolsistas de iniciação científica
ver Fonte/+info (dt.atualização: 02/01/2022)
bolsista |
; |
curso_bolsista |
CNPQ |
programa |
BOLSISTA |
ano |
|
orientador |
|
setor |
|
linha_pesquisa |
|
id_projeto |
|
título |
|
fomento |
|
tipo_bolsa |
gov
Conjunto de dados de bolsistas de iniciação científica
ver Fonte/+info (dt.atualização: 02/01/2022)
bolsista |
FELIPE PERET MORAES SASDELLI |
curso_bolsista |
CIENCIA DA COMPUTACAO |
programa |
PROGRAMA INSTITUCIONAL DE BOLSAS DE INICIAÇÃO CIENTÍFICA |
ano |
2020 |
orientador |
RODRIGO GERALDO RIBEIRO (DECOM) |
setor |
DECOM |
linha_pesquisa |
"ESTA LINHA DE PESQUISA VISA O ESTUDO DE LÓGICAS E TÉCNICAS PARA ESPECIFICAÇÃO |
id_projeto |
|
título |
|
fomento |
|
tipo_bolsa |
gov
Conjunto de dados de bolsistas de iniciação científica
ver Fonte/+info (dt.atualização: 02/01/2022)
bolsista |
E VALIDAÇÃO FORMAL DE SOFTWARE." |
curso_bolsista |
6545 |
programa |
Verificação formal de algoritmos para construção automática de provas da lógica proposicional |
ano |
|
orientador |
|
setor |
|
linha_pesquisa |
|
id_projeto |
|
título |
|
fomento |
|
tipo_bolsa |
gov
Conjunto de dados de bolsistas de iniciação científica
ver Fonte/+info (dt.atualização: 02/01/2022)
bolsista |
; |
curso_bolsista |
CNPQ |
programa |
BOLSISTA |
ano |
|
orientador |
|
setor |
|
linha_pesquisa |
|
id_projeto |
|
título |
|
fomento |
|
tipo_bolsa |
|
PWG – Powering Growth é um projeto para facilitar o |
Sobre nós |
Privacidade |