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

Detalhes bibliográficos
Autor principal: Pedro José Santos Oliveira (author)
Formato: masterThesis
Idioma:eng
Publicado em: 2020
Assuntos:
Engenharia electrotécnica, electrónica e informática
Electrical engineering, Electronic engineering, Information engineering
Texto completo:https://hdl.handle.net/10216/131451
País:Portugal
Oai:oai:repositorio-aberto.up.pt:10216/131451
Descrição
Descrição não disponível.

Registros relacionados