A Framework for the Runtime Monitoring and Verification of Distributed Automated Cyber-Physical Systems using ROS

Bibliographic Details
Main Author: Pedro José Santos Oliveira (author)
Format: masterThesis
Language:eng
Published: 2020
Subjects:
Engenharia electrotécnica, electrónica e informática
Electrical engineering, Electronic engineering, Information engineering
Online Access:https://hdl.handle.net/10216/131451
Country:Portugal
Oai:oai:repositorio-aberto.up.pt:10216/131451
Description
Description not available.

Similar Items