METODOLOGIA PARA VERIFICAÇÃO FUNCIONAL ANTECIPADA DE SOFTWARE EMBARCADO COMBINANDO PLATAFORMAS VIRTUAIS E VERIFICAÇÃO FORMAL

Detalhes bibliográficos
Autor(a) principal: Rogerio Paludo
Data de Publicação: 2016
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=3587496
id BRCRIS_2b191c652f10211548a85ed9ef8b657a
network_acronym_str CAPES
network_name_str Portal de Dados Abertos da CAPES
dc.title.pt-BR.fl_str_mv METODOLOGIA PARA VERIFICAÇÃO FUNCIONAL ANTECIPADA DE SOFTWARE EMBARCADO COMBINANDO PLATAFORMAS VIRTUAIS E VERIFICAÇÃO FORMAL
title METODOLOGIA PARA VERIFICAÇÃO FUNCIONAL ANTECIPADA DE SOFTWARE EMBARCADO COMBINANDO PLATAFORMAS VIRTUAIS E VERIFICAÇÃO FORMAL
spellingShingle METODOLOGIA PARA VERIFICAÇÃO FUNCIONAL ANTECIPADA DE SOFTWARE EMBARCADO COMBINANDO PLATAFORMAS VIRTUAIS E VERIFICAÇÃO FORMAL
Model Checking, Virtual Platforms, Embedded Software, Early Verification.
Model Checking, Plataformas Virtuais, software embarcado, verificação antecipada.
Rogerio Paludo
title_short METODOLOGIA PARA VERIFICAÇÃO FUNCIONAL ANTECIPADA DE SOFTWARE EMBARCADO COMBINANDO PLATAFORMAS VIRTUAIS E VERIFICAÇÃO FORMAL
title_full METODOLOGIA PARA VERIFICAÇÃO FUNCIONAL ANTECIPADA DE SOFTWARE EMBARCADO COMBINANDO PLATAFORMAS VIRTUAIS E VERIFICAÇÃO FORMAL
title_fullStr METODOLOGIA PARA VERIFICAÇÃO FUNCIONAL ANTECIPADA DE SOFTWARE EMBARCADO COMBINANDO PLATAFORMAS VIRTUAIS E VERIFICAÇÃO FORMAL
METODOLOGIA PARA VERIFICAÇÃO FUNCIONAL ANTECIPADA DE SOFTWARE EMBARCADO COMBINANDO PLATAFORMAS VIRTUAIS E VERIFICAÇÃO FORMAL
title_full_unstemmed METODOLOGIA PARA VERIFICAÇÃO FUNCIONAL ANTECIPADA DE SOFTWARE EMBARCADO COMBINANDO PLATAFORMAS VIRTUAIS E VERIFICAÇÃO FORMAL
METODOLOGIA PARA VERIFICAÇÃO FUNCIONAL ANTECIPADA DE SOFTWARE EMBARCADO COMBINANDO PLATAFORMAS VIRTUAIS E VERIFICAÇÃO FORMAL
title_sort METODOLOGIA PARA VERIFICAÇÃO FUNCIONAL ANTECIPADA DE SOFTWARE EMBARCADO COMBINANDO PLATAFORMAS VIRTUAIS E VERIFICAÇÃO FORMAL
topic Model Checking, Virtual Platforms, Embedded Software, Early Verification.
Model Checking, Plataformas Virtuais, software embarcado, verificação antecipada.
publishDate 2016
format masterThesis
url https://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=3587496
author_role author
author Rogerio Paludo
author_facet Rogerio Paludo
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/6811235762194715
dc.contributor.advisor1.fl_str_mv DJONES VINICIUS LETTNIN
dc.contributor.advisor1Lattes.fl_str_mv http://lattes.cnpq.br/5048342535708224
dc.publisher.none.fl_str_mv UNIVERSIDADE FEDERAL DE SANTA CATARINA
publisher.none.fl_str_mv UNIVERSIDADE FEDERAL DE SANTA CATARINA
instname_str UNIVERSIDADE FEDERAL DE SANTA CATARINA
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 CAPESMETODOLOGIA PARA VERIFICAÇÃO FUNCIONAL ANTECIPADA DE SOFTWARE EMBARCADO COMBINANDO PLATAFORMAS VIRTUAIS E VERIFICAÇÃO FORMALMETODOLOGIA PARA VERIFICAÇÃO FUNCIONAL ANTECIPADA DE SOFTWARE EMBARCADO COMBINANDO PLATAFORMAS VIRTUAIS E VERIFICAÇÃO FORMALMETODOLOGIA PARA VERIFICAÇÃO FUNCIONAL ANTECIPADA DE SOFTWARE EMBARCADO COMBINANDO PLATAFORMAS VIRTUAIS E VERIFICAÇÃO FORMALMETODOLOGIA PARA VERIFICAÇÃO FUNCIONAL ANTECIPADA DE SOFTWARE EMBARCADO COMBINANDO PLATAFORMAS VIRTUAIS E VERIFICAÇÃO FORMALMETODOLOGIA PARA VERIFICAÇÃO FUNCIONAL ANTECIPADA DE SOFTWARE EMBARCADO COMBINANDO PLATAFORMAS VIRTUAIS E VERIFICAÇÃO FORMALMETODOLOGIA PARA VERIFICAÇÃO FUNCIONAL ANTECIPADA DE SOFTWARE EMBARCADO COMBINANDO PLATAFORMAS VIRTUAIS E VERIFICAÇÃO FORMALMETODOLOGIA PARA VERIFICAÇÃO FUNCIONAL ANTECIPADA DE SOFTWARE EMBARCADO COMBINANDO PLATAFORMAS VIRTUAIS E VERIFICAÇÃO FORMALModel Checking, Virtual Platforms, Embedded Software, Early Verification.2016masterThesishttps://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=3587496authorRogerio Paludohttp://lattes.cnpq.br/6811235762194715DJONES VINICIUS LETTNINhttp://lattes.cnpq.br/5048342535708224UNIVERSIDADE FEDERAL DE SANTA CATARINAUNIVERSIDADE FEDERAL DE SANTA CATARINAUNIVERSIDADE FEDERAL DE SANTA CATARINAENGENHARIA ELÉTRICAENGENHARIA ELÉTRICAPortal de Dados Abertos da CAPESPortal de Dados Abertos da CAPES
identifier_str_mv Paludo, Rogerio. METODOLOGIA PARA VERIFICAÇÃO FUNCIONAL ANTECIPADA DE SOFTWARE EMBARCADO COMBINANDO PLATAFORMAS VIRTUAIS E VERIFICAÇÃO FORMAL. 2016. Tese.
dc.identifier.citation.fl_str_mv Paludo, Rogerio. METODOLOGIA PARA VERIFICAÇÃO FUNCIONAL ANTECIPADA DE SOFTWARE EMBARCADO COMBINANDO PLATAFORMAS VIRTUAIS E VERIFICAÇÃO FORMAL. 2016. Tese.
_version_ 1741890412536135680

Registros relacionados