Revisão de crenças no fragmento universal da CTL usando verificação de modelos limitada

Detalhes bibliográficos
Data de Publicação: 2017
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=5148541
id BRCRIS_b7def22dba8141a3a754ad0907735830
network_acronym_str CAPES
network_name_str Portal de Dados Abertos da CAPES
dc.title.pt-BR.fl_str_mv Revisão de crenças no fragmento universal da CTL usando verificação de modelos limitada
title Revisão de crenças no fragmento universal da CTL usando verificação de modelos limitada
spellingShingle Revisão de crenças no fragmento universal da CTL usando verificação de modelos limitada
Verificação de Modelos Limitada
bounded model checking
title_short Revisão de crenças no fragmento universal da CTL usando verificação de modelos limitada
title_full Revisão de crenças no fragmento universal da CTL usando verificação de modelos limitada
title_fullStr Revisão de crenças no fragmento universal da CTL usando verificação de modelos limitada
Revisão de crenças no fragmento universal da CTL usando verificação de modelos limitada
title_full_unstemmed Revisão de crenças no fragmento universal da CTL usando verificação de modelos limitada
Revisão de crenças no fragmento universal da CTL usando verificação de modelos limitada
title_sort Revisão de crenças no fragmento universal da CTL usando verificação de modelos limitada
topic Verificação de Modelos Limitada
bounded model checking
publishDate 2017
format masterThesis
url https://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=5148541
author_role author
dc.contributor.advisor1.fl_str_mv Marcelo Finger
dc.contributor.advisor1Lattes.fl_str_mv http://lattes.cnpq.br/0620986273710878
dc.contributor.advisor1orcid.por.fl_str_mv https://orcid.org/0000-0002-1391-1175
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 CAPESRevisão de crenças no fragmento universal da CTL usando verificação de modelos limitadaRevisão de crenças no fragmento universal da CTL usando verificação de modelos limitadaRevisão de crenças no fragmento universal da CTL usando verificação de modelos limitadaRevisão de crenças no fragmento universal da CTL usando verificação de modelos limitadaRevisão de crenças no fragmento universal da CTL usando verificação de modelos limitadaRevisão de crenças no fragmento universal da CTL usando verificação de modelos limitadaRevisão de crenças no fragmento universal da CTL usando verificação de modelos limitadaVerificação de Modelos Limitada2017masterThesishttps://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=5148541authorMarcelo Fingerhttp://lattes.cnpq.br/0620986273710878https://orcid.org/0000-0002-1391-1175UNIVERSIDADE 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
_version_ 1741890119641595904

Registros relacionados