Planejamento Baseado em Verificação Simbólica de Modelos

Detalhes bibliográficos
Autor(a) principal: VIVIANE BONADIA DOS SANTOS
Data de Publicação: 2018
Tipo de documento: Dissertação
Título da fonte: Portal de Dados Abertos da CAPES
Texto Completo: https://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=6428984
id BRCRIS_9739d0354f7b31075541f93f8a8ff94c
network_acronym_str CAPES
network_name_str Portal de Dados Abertos da CAPES
dc.title.pt-BR.fl_str_mv Planejamento Baseado em Verificação Simbólica de Modelos
title Planejamento Baseado em Verificação Simbólica de Modelos
spellingShingle Planejamento Baseado em Verificação Simbólica de Modelos
FOND, BDD.
VIVIANE BONADIA DOS SANTOS
title_short Planejamento Baseado em Verificação Simbólica de Modelos
title_full Planejamento Baseado em Verificação Simbólica de Modelos
title_fullStr Planejamento Baseado em Verificação Simbólica de Modelos
Planejamento Baseado em Verificação Simbólica de Modelos
title_full_unstemmed Planejamento Baseado em Verificação Simbólica de Modelos
Planejamento Baseado em Verificação Simbólica de Modelos
title_sort Planejamento Baseado em Verificação Simbólica de Modelos
topic FOND, BDD.
publishDate 2018
format masterThesis
url https://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=6428984
author_role author
author VIVIANE BONADIA DOS SANTOS
author_facet VIVIANE BONADIA DOS SANTOS
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/9237492612085066
dc.contributor.advisor1.fl_str_mv Leliane Nunes de Barros
dc.contributor.advisor1Lattes.fl_str_mv http://lattes.cnpq.br/0348490713417429
dc.publisher.none.fl_str_mv UNIVERSIDADE DE SÃO PAULO
publisher.none.fl_str_mv UNIVERSIDADE DE SÃO PAULO
instname_str UNIVERSIDADE DE SÃO PAULO
dc.publisher.program.fl_str_mv CIÊNCIA DA COMPUTAÇÃO
dc.description.course.none.fl_txt_mv CIÊNCIA DA COMPUTAÇÃO
reponame_str Portal de Dados Abertos da CAPES
collection Portal de Dados Abertos da CAPES
spelling CAPESPortal de Dados Abertos da CAPESPlanejamento Baseado em Verificação Simbólica de ModelosPlanejamento Baseado em Verificação Simbólica de ModelosPlanejamento Baseado em Verificação Simbólica de ModelosPlanejamento Baseado em Verificação Simbólica de ModelosPlanejamento Baseado em Verificação Simbólica de ModelosPlanejamento Baseado em Verificação Simbólica de ModelosPlanejamento Baseado em Verificação Simbólica de ModelosFOND, BDD.2018masterThesishttps://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=6428984authorVIVIANE BONADIA DOS SANTOShttp://lattes.cnpq.br/9237492612085066Leliane Nunes de Barroshttp://lattes.cnpq.br/0348490713417429UNIVERSIDADE DE SÃO PAULOUNIVERSIDADE DE SÃO PAULOUNIVERSIDADE DE SÃO PAULOCIÊNCIA DA COMPUTAÇÃOCIÊNCIA DA COMPUTAÇÃOPortal de Dados Abertos da CAPESPortal de Dados Abertos da CAPES
identifier_str_mv SANTOS, VIVIANE BONADIA DOS. Planejamento Baseado em Verificação Simbólica de Modelos. 2018. Tese.
dc.identifier.citation.fl_str_mv SANTOS, VIVIANE BONADIA DOS. Planejamento Baseado em Verificação Simbólica de Modelos. 2018. Tese.
_version_ 1741890409877995520

Registros relacionados