A Rewriting Logic Approach for the Specification and Validation of Modular Cyber Physical Systems

Detalhes bibliográficos
Autor(a) principal: ANDRE LUIZ SOARES METELO
Data de Publicação: 2018
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=6376404
id BRCRIS_bfbce1d7f3803fe1d0c86c02dd7262d5
network_acronym_str CAPES
network_name_str Portal de Dados Abertos da CAPES
dc.title.pt-BR.fl_str_mv A Rewriting Logic Approach for the Specification and Validation of Modular Cyber Physical Systems
title A Rewriting Logic Approach for the Specification and Validation of Modular Cyber Physical Systems
spellingShingle A Rewriting Logic Approach for the Specification and Validation of Modular Cyber Physical Systems
Maude
ANDRE LUIZ SOARES METELO
title_short A Rewriting Logic Approach for the Specification and Validation of Modular Cyber Physical Systems
title_full A Rewriting Logic Approach for the Specification and Validation of Modular Cyber Physical Systems
title_fullStr A Rewriting Logic Approach for the Specification and Validation of Modular Cyber Physical Systems
A Rewriting Logic Approach for the Specification and Validation of Modular Cyber Physical Systems
title_full_unstemmed A Rewriting Logic Approach for the Specification and Validation of Modular Cyber Physical Systems
A Rewriting Logic Approach for the Specification and Validation of Modular Cyber Physical Systems
title_sort A Rewriting Logic Approach for the Specification and Validation of Modular Cyber Physical Systems
topic Maude
publishDate 2018
format masterThesis
url https://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=6376404
author_role author
author ANDRE LUIZ SOARES METELO
author_facet ANDRE LUIZ SOARES METELO
dc.contributor.advisor1.fl_str_mv CHRISTIANO DE OLIVEIRA BRAGA
dc.publisher.none.fl_str_mv UNIVERSIDADE FEDERAL FLUMINENSE
publisher.none.fl_str_mv UNIVERSIDADE FEDERAL FLUMINENSE
instname_str UNIVERSIDADE FEDERAL FLUMINENSE
dc.publisher.program.fl_str_mv COMPUTAÇÃO
dc.description.course.none.fl_txt_mv COMPUTAÇÃO
reponame_str Portal de Dados Abertos da CAPES
collection Portal de Dados Abertos da CAPES
spelling CAPESPortal de Dados Abertos da CAPESA Rewriting Logic Approach for the Specification and Validation of Modular Cyber Physical SystemsA Rewriting Logic Approach for the Specification and Validation of Modular Cyber Physical SystemsA Rewriting Logic Approach for the Specification and Validation of Modular Cyber Physical SystemsA Rewriting Logic Approach for the Specification and Validation of Modular Cyber Physical SystemsA Rewriting Logic Approach for the Specification and Validation of Modular Cyber Physical SystemsA Rewriting Logic Approach for the Specification and Validation of Modular Cyber Physical SystemsA Rewriting Logic Approach for the Specification and Validation of Modular Cyber Physical SystemsMaude2018masterThesishttps://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=6376404authorANDRE LUIZ SOARES METELOCHRISTIANO DE OLIVEIRA BRAGAUNIVERSIDADE FEDERAL FLUMINENSEUNIVERSIDADE FEDERAL FLUMINENSEUNIVERSIDADE FEDERAL FLUMINENSECOMPUTAÇÃOCOMPUTAÇÃOPortal de Dados Abertos da CAPESPortal de Dados Abertos da CAPES
identifier_str_mv METELO, ANDRE LUIZ SOARES. A Rewriting Logic Approach for the Specification and Validation of Modular Cyber Physical Systems. 2018. Tese.
dc.identifier.citation.fl_str_mv METELO, ANDRE LUIZ SOARES. A Rewriting Logic Approach for the Specification and Validation of Modular Cyber Physical Systems. 2018. Tese.
_version_ 1741884967079641088

Registros relacionados