BMCLua: Metodologia para Vericação de Códigos Lua Utilizando Bounded Model Checking

Detalhes bibliográficos
Autor(a) principal: Janu??rio, Francisco de Assis Pereira
Data de Publicação: 2015
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=2863331
id BRCRIS_b930a6bbaa2726563151b7f6c5b50012
network_acronym_str CAPES
network_name_str Portal de Dados Abertos da CAPES
dc.title.pt-BR.fl_str_mv BMCLua: Metodologia para Vericação de Códigos Lua Utilizando Bounded Model Checking
title BMCLua: Metodologia para Vericação de Códigos Lua Utilizando Bounded Model Checking
spellingShingle BMCLua: Metodologia para Vericação de Códigos Lua Utilizando Bounded Model Checking
linguagem lua, TV digital, verificação de modelos.
lua language, digital TV, model checking.
Janu??rio, Francisco de Assis Pereira
title_short BMCLua: Metodologia para Vericação de Códigos Lua Utilizando Bounded Model Checking
title_full BMCLua: Metodologia para Vericação de Códigos Lua Utilizando Bounded Model Checking
title_fullStr BMCLua: Metodologia para Vericação de Códigos Lua Utilizando Bounded Model Checking
BMCLua: Metodologia para Vericação de Códigos Lua Utilizando Bounded Model Checking
title_full_unstemmed BMCLua: Metodologia para Vericação de Códigos Lua Utilizando Bounded Model Checking
BMCLua: Metodologia para Vericação de Códigos Lua Utilizando Bounded Model Checking
title_sort BMCLua: Metodologia para Vericação de Códigos Lua Utilizando Bounded Model Checking
topic linguagem lua, TV digital, verificação de modelos.
lua language, digital TV, model checking.
publishDate 2015
format masterThesis
url https://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=2863331
author_role author
author Janu??rio, Francisco de Assis Pereira
author_facet Janu??rio, Francisco de Assis Pereira
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/5322203207556538
dc.contributor.advisor1.fl_str_mv LUCAS CARVALHO CORDEIRO
dc.contributor.advisor1Lattes.fl_str_mv http://lattes.cnpq.br/5005832876603012
dc.contributor.advisor1orcid.por.fl_str_mv https://orcid.org/0000000262354272
dc.publisher.none.fl_str_mv UNIVERSIDADE FEDERAL DO AMAZONAS
publisher.none.fl_str_mv UNIVERSIDADE FEDERAL DO AMAZONAS
instname_str UNIVERSIDADE FEDERAL DO AMAZONAS
dc.publisher.program.fl_str_mv ENGENHARIA ELÉTRICA
dc.description.course.none.fl_txt_mv ENGENHARIA ELÉTRICA
reponame_str Portal de Dados Abertos da CAPES
collection Portal de Dados Abertos da CAPES
spelling CAPESPortal de Dados Abertos da CAPESBMCLua: Metodologia para Vericação de Códigos Lua Utilizando Bounded Model CheckingBMCLua: Metodologia para Vericação de Códigos Lua Utilizando Bounded Model CheckingBMCLua: Metodologia para Vericação de Códigos Lua Utilizando Bounded Model CheckingBMCLua: Metodologia para Vericação de Códigos Lua Utilizando Bounded Model CheckingBMCLua: Metodologia para Vericação de Códigos Lua Utilizando Bounded Model CheckingBMCLua: Metodologia para Vericação de Códigos Lua Utilizando Bounded Model CheckingBMCLua: Metodologia para Vericação de Códigos Lua Utilizando Bounded Model Checkinglinguagem lua, TV digital, verificação de modelos.2015masterThesishttps://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=2863331authorJanu??rio, Francisco de Assis Pereirahttp://lattes.cnpq.br/5322203207556538LUCAS CARVALHO CORDEIROhttp://lattes.cnpq.br/5005832876603012https://orcid.org/0000000262354272UNIVERSIDADE FEDERAL DO AMAZONASUNIVERSIDADE FEDERAL DO AMAZONASUNIVERSIDADE FEDERAL DO AMAZONASENGENHARIA ELÉTRICAENGENHARIA ELÉTRICAPortal de Dados Abertos da CAPESPortal de Dados Abertos da CAPES
identifier_str_mv Janu??rio, Francisco de Assis Pereira. BMCLua: Metodologia para Vericação de Códigos Lua Utilizando Bounded Model Checking. 2015. Tese.
dc.identifier.citation.fl_str_mv Janu??rio, Francisco de Assis Pereira. BMCLua: Metodologia para Vericação de Códigos Lua Utilizando Bounded Model Checking. 2015. Tese.
_version_ 1741890138327220224

Registros relacionados