BIBLIOS

  Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Academic documents

Document subtype
PhD thesis

Title
Safe and resource-aware verification for programming Cyber-Physical Systems

Participants in the publication
Carlos Jorge Velez Mão de Ferro (Author)
Dep. Informática
Francisco Cipriano da Cunha Martins (Adviser)
Dep. Informática
António Casimiro Ferreira da Costa (Adviser)
Dep. Informática
LASIGE

Date of Submisson/Request
2024
Date of Publication
2025

Institution
FACULDADE DE CIÊNCIAS DA UNIVERSIDADE DE LISBOA

Publication Identifiers

Document Identifiers
URL - https://repositorio.ulisboa.pt/handle/10400.5/100695


Export

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} }