ESPECIFICAÇÃO FORMAL DE ESCALONADOR DE HARDWARE PARA SISTEMAS DE TEMPO REAL

Detalhes bibliográficos
Autor(a) principal: IGOR AUGUSTO CARVALHO ALVES
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=2676924
id BRCRIS_132ef702fcf2ceeb8d500eb9207bc39b
network_acronym_str CAPES
network_name_str Portal de Dados Abertos da CAPES
dc.title.pt-BR.fl_str_mv ESPECIFICAÇÃO FORMAL DE ESCALONADOR DE HARDWARE PARA SISTEMAS DE TEMPO REAL
title ESPECIFICAÇÃO FORMAL DE ESCALONADOR DE HARDWARE PARA SISTEMAS DE TEMPO REAL
spellingShingle ESPECIFICAÇÃO FORMAL DE ESCALONADOR DE HARDWARE PARA SISTEMAS DE TEMPO REAL
Escalonador, Hardware, Métodos formais, Sistemas Operacionais, Sistemas de Tempo Real
Scheduler, Hardware, Formal Methods, Operating Systems, Real Time Operating Systems
IGOR AUGUSTO CARVALHO ALVES
title_short ESPECIFICAÇÃO FORMAL DE ESCALONADOR DE HARDWARE PARA SISTEMAS DE TEMPO REAL
title_full ESPECIFICAÇÃO FORMAL DE ESCALONADOR DE HARDWARE PARA SISTEMAS DE TEMPO REAL
title_fullStr ESPECIFICAÇÃO FORMAL DE ESCALONADOR DE HARDWARE PARA SISTEMAS DE TEMPO REAL
ESPECIFICAÇÃO FORMAL DE ESCALONADOR DE HARDWARE PARA SISTEMAS DE TEMPO REAL
title_full_unstemmed ESPECIFICAÇÃO FORMAL DE ESCALONADOR DE HARDWARE PARA SISTEMAS DE TEMPO REAL
ESPECIFICAÇÃO FORMAL DE ESCALONADOR DE HARDWARE PARA SISTEMAS DE TEMPO REAL
title_sort ESPECIFICAÇÃO FORMAL DE ESCALONADOR DE HARDWARE PARA SISTEMAS DE TEMPO REAL
topic Escalonador, Hardware, Métodos formais, Sistemas Operacionais, Sistemas de Tempo Real
Scheduler, Hardware, Formal Methods, Operating Systems, Real Time Operating Systems
publishDate 2015
format masterThesis
url https://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=2676924
author_role author
author IGOR AUGUSTO CARVALHO ALVES
author_facet IGOR AUGUSTO CARVALHO ALVES
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/0026322844719862
dc.contributor.advisor1.fl_str_mv KARLA DARLENE NEPOMUCENO RAMOS
dc.contributor.advisor1Lattes.fl_str_mv http://lattes.cnpq.br/2751239628595747
dc.publisher.none.fl_str_mv UNIVERSIDADE DO ESTADO DO RIO GRANDE DO NORTE
publisher.none.fl_str_mv UNIVERSIDADE DO ESTADO DO RIO GRANDE DO NORTE
instname_str UNIVERSIDADE DO ESTADO DO RIO GRANDE DO NORTE
dc.publisher.program.fl_str_mv CIÊNCIA DA COMPUTAÇÃO - UERN - UFERSA
dc.description.course.none.fl_txt_mv CIÊNCIA DA COMPUTAÇÃO - UERN - UFERSA
reponame_str Portal de Dados Abertos da CAPES
collection Portal de Dados Abertos da CAPES
spelling CAPESPortal de Dados Abertos da CAPESESPECIFICAÇÃO FORMAL DE ESCALONADOR DE HARDWARE PARA SISTEMAS DE TEMPO REALESPECIFICAÇÃO FORMAL DE ESCALONADOR DE HARDWARE PARA SISTEMAS DE TEMPO REALESPECIFICAÇÃO FORMAL DE ESCALONADOR DE HARDWARE PARA SISTEMAS DE TEMPO REALESPECIFICAÇÃO FORMAL DE ESCALONADOR DE HARDWARE PARA SISTEMAS DE TEMPO REALESPECIFICAÇÃO FORMAL DE ESCALONADOR DE HARDWARE PARA SISTEMAS DE TEMPO REALESPECIFICAÇÃO FORMAL DE ESCALONADOR DE HARDWARE PARA SISTEMAS DE TEMPO REALESPECIFICAÇÃO FORMAL DE ESCALONADOR DE HARDWARE PARA SISTEMAS DE TEMPO REALEscalonador, Hardware, Métodos formais, Sistemas Operacionais, Sistemas de Tempo Real2015masterThesishttps://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=2676924authorIGOR AUGUSTO CARVALHO ALVEShttp://lattes.cnpq.br/0026322844719862KARLA DARLENE NEPOMUCENO RAMOShttp://lattes.cnpq.br/2751239628595747UNIVERSIDADE DO ESTADO DO RIO GRANDE DO NORTEUNIVERSIDADE DO ESTADO DO RIO GRANDE DO NORTEUNIVERSIDADE DO ESTADO DO RIO GRANDE DO NORTECIÊNCIA DA COMPUTAÇÃO - UERN - UFERSACIÊNCIA DA COMPUTAÇÃO - UERN - UFERSAPortal de Dados Abertos da CAPESPortal de Dados Abertos da CAPES
identifier_str_mv ALVES, IGOR AUGUSTO CARVALHO. ESPECIFICAÇÃO FORMAL DE ESCALONADOR DE HARDWARE PARA SISTEMAS DE TEMPO REAL. 2015. Tese.
dc.identifier.citation.fl_str_mv ALVES, IGOR AUGUSTO CARVALHO. ESPECIFICAÇÃO FORMAL DE ESCALONADOR DE HARDWARE PARA SISTEMAS DE TEMPO REAL. 2015. Tese.
_version_ 1741884817849450496

Registros relacionados