Automata-based Formal Analysis and Verification of the Real-Time Linux Kernel

Detalhes bibliográficos
Data de Publicação: 2020
Tipo de documento: Tese
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=9834091
id BRCRIS_8b9ed7e3a374c4456f5d0f2ec49b0629
network_acronym_str CAPES
network_name_str Portal de Dados Abertos da CAPES
dc.title.pt-BR.fl_str_mv Automata-based Formal Analysis and Verification of the Real-Time Linux Kernel
title Automata-based Formal Analysis and Verification of the Real-Time Linux Kernel
spellingShingle Automata-based Formal Analysis and Verification of the Real-Time Linux Kernel
Runtime Verification
Verificação
title_short Automata-based Formal Analysis and Verification of the Real-Time Linux Kernel
title_full Automata-based Formal Analysis and Verification of the Real-Time Linux Kernel
title_fullStr Automata-based Formal Analysis and Verification of the Real-Time Linux Kernel
Automata-based Formal Analysis and Verification of the Real-Time Linux Kernel
title_full_unstemmed Automata-based Formal Analysis and Verification of the Real-Time Linux Kernel
Automata-based Formal Analysis and Verification of the Real-Time Linux Kernel
title_sort Automata-based Formal Analysis and Verification of the Real-Time Linux Kernel
topic Runtime Verification
Verificação
publishDate 2020
format doctoralThesis
url https://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=9834091
author_role author
dc.contributor.advisor1.fl_str_mv ROMULO SILVA DE OLIVEIRA
dc.contributor.advisor1Lattes.fl_str_mv http://lattes.cnpq.br/5883242597607815
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 DE AUTOMAÇÃO E SISTEMAS
dc.description.course.none.fl_txt_mv ENGENHARIA DE AUTOMAÇÃO E SISTEMAS
reponame_str Portal de Dados Abertos da CAPES
collection Portal de Dados Abertos da CAPES
spelling CAPESPortal de Dados Abertos da CAPESAutomata-based Formal Analysis and Verification of the Real-Time Linux KernelAutomata-based Formal Analysis and Verification of the Real-Time Linux KernelAutomata-based Formal Analysis and Verification of the Real-Time Linux KernelAutomata-based Formal Analysis and Verification of the Real-Time Linux KernelAutomata-based Formal Analysis and Verification of the Real-Time Linux KernelAutomata-based Formal Analysis and Verification of the Real-Time Linux KernelAutomata-based Formal Analysis and Verification of the Real-Time Linux KernelRuntime Verification2020doctoralThesishttps://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=9834091authorROMULO SILVA DE OLIVEIRAhttp://lattes.cnpq.br/5883242597607815UNIVERSIDADE FEDERAL DE SANTA CATARINAUNIVERSIDADE FEDERAL DE SANTA CATARINAUNIVERSIDADE FEDERAL DE SANTA CATARINAENGENHARIA DE AUTOMAÇÃO E SISTEMASENGENHARIA DE AUTOMAÇÃO E SISTEMASPortal de Dados Abertos da CAPESPortal de Dados Abertos da CAPES
_version_ 1741890269966499840

Registros relacionados