ABORDAGEM PARA VERIFICAÇÃO FORMAL DE SISTEMAS CRÍTICOS EMBARCADOS UTILIZANDO MODEL CHECKING
Autor(a) principal: | |
---|---|
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 |