Please use this identifier to cite or link to this item: https://hdl.handle.net/10216/121599
Author(s): Tiago Filipe Miranda Neto
Title: Application of Safety Verification Techniques on ROS Software
Issue Date: 2019-07-05
Subject: Engenharia electrotécnica, electrónica e informática
Electrical engineering, Electronic engineering, Information engineering
Scientific areas: Ciências da engenharia e tecnologias::Engenharia electrotécnica, electrónica e informática
Engineering and technology::Electrical engineering, Electronic engineering, Information engineering
TID identifier: 202398218
URI: https://hdl.handle.net/10216/121599
Document Type: Dissertação
Rights: embargoedAccess
Embargo End Date: 2022-07-04
Appears in Collections:FEUP - Dissertação

Files in This Item:
File Description SizeFormat 
344495.pdf
  Restricted Access
Application of Safety Verification Techniques on ROS Software3.25 MBAdobe PDF    Request a copy from the Author(s)


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.