Application of Safety Verification Techniques on ROS Software

Bibliographic Details
Main Author: Tiago Filipe Miranda Neto (author)
Format: masterThesis
Language:eng
Published: 2019
Subjects:
Engenharia electrotécnica, electrónica e informática
Electrical engineering, Electronic engineering, Information engineering
Online Access:https://hdl.handle.net/10216/121599
Country:Portugal
Oai:oai:repositorio-aberto.up.pt:10216/121599

Internet

https://hdl.handle.net/10216/121599

Similar Items