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: | openAccess |
Appears in Collections: | FEUP - Dissertação |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
344495.pdf | Application of Safety Verification Techniques on ROS Software | 3.25 MB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.