Exportar referência
APA
Carlos Jorge Velez Mão de Ferro, (2025). Safe and resource-aware verification for programming Cyber-Physical Systems. https://repositorio.ulisboa.pt/handle/10400.5/100695 Francisco Cipriano da Cunha Martins, António Casimiro Ferreira da Costa,
IEEE
Carlos Jorge Velez Mão de Ferro, "Safe and resource-aware verification for programming Cyber-Physical Systems", 2025.
BIBTEX
@PhdThesis{65441,
author = {Carlos Jorge Velez Mão de Ferro},
title = {Safe and resource-aware verification for programming Cyber-Physical Systems},
school = {FACULDADE DE CIÊNCIAS DA UNIVERSIDADE DE LISBOA},
year = {2025},
OPTtype = {Documentos Académicos}
}