Application of Safety Verification Techniques on ROS Software

Detalhes bibliográficos
Autor(a) principal: Tiago Filipe Miranda Neto
Data de Publicação: 2019
Tipo de documento: Dissertação
Idioma: eng
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: https://hdl.handle.net/10216/121599
id RCAP_0ac4a6b7bcdc97ac64e5feafd738eb8c
oai_identifier_str oai:repositorio-aberto.up.pt:10216/121599
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling Application of Safety Verification Techniques on ROS SoftwareEngenharia electrotécnica, electrónica e informáticaElectrical engineering, Electronic engineering, Information engineering2019-07-052019-07-05T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttps://hdl.handle.net/10216/121599TID:202398218engTiago Filipe Miranda Netoinfo:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2023-11-29T12:47:02Zoai:repositorio-aberto.up.pt:10216/121599Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T23:26:37.374801Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv Application of Safety Verification Techniques on ROS Software
title Application of Safety Verification Techniques on ROS Software
spellingShingle Application of Safety Verification Techniques on ROS Software
Tiago Filipe Miranda Neto
Engenharia electrotécnica, electrónica e informática
Electrical engineering, Electronic engineering, Information engineering
title_short Application of Safety Verification Techniques on ROS Software
title_full Application of Safety Verification Techniques on ROS Software
title_fullStr Application of Safety Verification Techniques on ROS Software
title_full_unstemmed Application of Safety Verification Techniques on ROS Software
title_sort Application of Safety Verification Techniques on ROS Software
author Tiago Filipe Miranda Neto
author_facet Tiago Filipe Miranda Neto
author_role author
dc.contributor.author.fl_str_mv Tiago Filipe Miranda Neto
dc.subject.por.fl_str_mv Engenharia electrotécnica, electrónica e informática
Electrical engineering, Electronic engineering, Information engineering
topic Engenharia electrotécnica, electrónica e informática
Electrical engineering, Electronic engineering, Information engineering
publishDate 2019
dc.date.none.fl_str_mv 2019-07-05
2019-07-05T00:00:00Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://hdl.handle.net/10216/121599
TID:202398218
url https://hdl.handle.net/10216/121599
identifier_str_mv TID:202398218
dc.language.iso.fl_str_mv eng
language eng
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv
_version_ 1799135572442218496

Registros relacionados