ABORDAGEM PARA VERIFICAÇÃO FORMAL DE SISTEMAS CRÍTICOS EMBARCADOS UTILIZANDO MODEL CHECKING

Detalhes bibliográficos
Autor(a) principal: TULIO BATISTA RODRIGUES DA SILVA
Data de Publicação: 2015
Tipo de documento: Dissertação
Título da fonte: Portal de Dados Abertos da CAPES
id BRCRIS_2de98e18f3d8587ca413b7ef7da42156
network_acronym_str CAPES
network_name_str Portal de Dados Abertos da CAPES
dc.title.pt-BR.fl_str_mv ABORDAGEM PARA VERIFICAÇÃO FORMAL DE SISTEMAS CRÍTICOS EMBARCADOS UTILIZANDO MODEL CHECKING
title ABORDAGEM PARA VERIFICAÇÃO FORMAL DE SISTEMAS CRÍTICOS EMBARCADOS UTILIZANDO MODEL CHECKING
spellingShingle ABORDAGEM PARA VERIFICAÇÃO FORMAL DE SISTEMAS CRÍTICOS EMBARCADOS UTILIZANDO MODEL CHECKING
Verificação Formal de Sistemas Críticos, Transformação de Statechorts
TULIO BATISTA RODRIGUES DA SILVA
title_short ABORDAGEM PARA VERIFICAÇÃO FORMAL DE SISTEMAS CRÍTICOS EMBARCADOS UTILIZANDO MODEL CHECKING
title_full ABORDAGEM PARA VERIFICAÇÃO FORMAL DE SISTEMAS CRÍTICOS EMBARCADOS UTILIZANDO MODEL CHECKING
title_fullStr ABORDAGEM PARA VERIFICAÇÃO FORMAL DE SISTEMAS CRÍTICOS EMBARCADOS UTILIZANDO MODEL CHECKING
ABORDAGEM PARA VERIFICAÇÃO FORMAL DE SISTEMAS CRÍTICOS EMBARCADOS UTILIZANDO MODEL CHECKING
title_full_unstemmed ABORDAGEM PARA VERIFICAÇÃO FORMAL DE SISTEMAS CRÍTICOS EMBARCADOS UTILIZANDO MODEL CHECKING
ABORDAGEM PARA VERIFICAÇÃO FORMAL DE SISTEMAS CRÍTICOS EMBARCADOS UTILIZANDO MODEL CHECKING
title_sort ABORDAGEM PARA VERIFICAÇÃO FORMAL DE SISTEMAS CRÍTICOS EMBARCADOS UTILIZANDO MODEL CHECKING
topic Verificação Formal de Sistemas Críticos, Transformação de Statechorts
publishDate 2015
format masterThesis
author_role author
author TULIO BATISTA RODRIGUES DA SILVA
author_facet TULIO BATISTA RODRIGUES DA SILVA
dc.publisher.none.fl_str_mv INSTITUTO TECNOLÓGICO DE AERONÁUTICA
publisher.none.fl_str_mv INSTITUTO TECNOLÓGICO DE AERONÁUTICA
instname_str INSTITUTO TECNOLÓGICO DE AERONÁUTICA
dc.publisher.program.fl_str_mv ENGENHARIA AERONÂUTICA E MECÂNICA
dc.description.course.none.fl_txt_mv ENGENHARIA AERONÂUTICA E MECÂNICA
reponame_str Portal de Dados Abertos da CAPES
collection Portal de Dados Abertos da CAPES
spelling CAPESPortal de Dados Abertos da CAPESABORDAGEM PARA VERIFICAÇÃO FORMAL DE SISTEMAS CRÍTICOS EMBARCADOS UTILIZANDO MODEL CHECKINGABORDAGEM PARA VERIFICAÇÃO FORMAL DE SISTEMAS CRÍTICOS EMBARCADOS UTILIZANDO MODEL CHECKINGABORDAGEM PARA VERIFICAÇÃO FORMAL DE SISTEMAS CRÍTICOS EMBARCADOS UTILIZANDO MODEL CHECKINGABORDAGEM PARA VERIFICAÇÃO FORMAL DE SISTEMAS CRÍTICOS EMBARCADOS UTILIZANDO MODEL CHECKINGABORDAGEM PARA VERIFICAÇÃO FORMAL DE SISTEMAS CRÍTICOS EMBARCADOS UTILIZANDO MODEL CHECKINGABORDAGEM PARA VERIFICAÇÃO FORMAL DE SISTEMAS CRÍTICOS EMBARCADOS UTILIZANDO MODEL CHECKINGABORDAGEM PARA VERIFICAÇÃO FORMAL DE SISTEMAS CRÍTICOS EMBARCADOS UTILIZANDO MODEL CHECKINGVerificação Formal de Sistemas Críticos, Transformação de Statechorts2015masterThesisauthorTULIO BATISTA RODRIGUES DA SILVAINSTITUTO TECNOLÓGICO DE AERONÁUTICAINSTITUTO TECNOLÓGICO DE AERONÁUTICAINSTITUTO TECNOLÓGICO DE AERONÁUTICAENGENHARIA AERONÂUTICA E MECÂNICAENGENHARIA AERONÂUTICA E MECÂNICAPortal de Dados Abertos da CAPESPortal de Dados Abertos da CAPES
identifier_str_mv SILVA, TULIO BATISTA RODRIGUES DA. ABORDAGEM PARA VERIFICAÇÃO FORMAL DE SISTEMAS CRÍTICOS EMBARCADOS UTILIZANDO MODEL CHECKING. 2015. Tese.
dc.identifier.citation.fl_str_mv SILVA, TULIO BATISTA RODRIGUES DA. ABORDAGEM PARA VERIFICAÇÃO FORMAL DE SISTEMAS CRÍTICOS EMBARCADOS UTILIZANDO MODEL CHECKING. 2015. Tese.
_version_ 1741888599836590080