Você está em: Início > Cursos > Projects / Dissertations / Theses > Tese de Mestrado Integrado em Engenharia Electrotécnica e de Computadores
Mapa das Instalações
Cursos
Tese de Mestrado Integrado em Engenharia Electrotécnica e de Computadores
A Framework for the Runtime Monitoring and Verification of Distributed Automated Cyber-Physical Systems using ROS
| Student: | Pedro José Santos Oliveira |
| Student No.: | 201101789 |
| Supervisors: |
Armando Jorge Miranda de Sousa
|
| Status: | Concluído |
| Since: | 07-JAN-2021 |
| Start: | 27-AGO-2019 |
| Thesis Submission: | 31-JUL-2020 |
| Defence: | 13-FEV-2020 |
| Thesis Title: | A Framework for the Runtime Monitoring and Verification of Distributed Automated Cyber-Physical Systems using ROS |
| Provisional Title: | Runtime Monitoring and Verification Framework for Autonomous Cyber-Physical Systems |
Selection Panel
| Name | Role |
|---|---|
| Luis Almeida | Presidente |
| Artur Pereira | Arguente |
| Armando Jorge Sousa | Vogal Orientador |
Copyright 1996-2025 © Faculdade de Engenharia da Universidade do Porto
I Termos e Condições
I Acessibilidade
I Índice A-Z
I Livro de Visitas
Página gerada em: 2025-10-15 às 08:55:17 | Política de Utilização Aceitável | Política de Proteção de Dados Pessoais | Denúncias
Página gerada em: 2025-10-15 às 08:55:17 | Política de Utilização Aceitável | Política de Proteção de Dados Pessoais | Denúncias