Exportar referência
APA
Cordeiro, Ricardo Jorge Dias, (2023). Formalization and Runtime Verification of Invariants for Robotic Systems. http://hdl.handle.net/10451/56936 Fonseca, Alcides Miguel Cachulo Aguiar, Timperley, Christopher Steven,
IEEE
Cordeiro, Ricardo Jorge Dias, "Formalization and Runtime Verification of Invariants for Robotic Systems", 2023.
BIBTEX
@MastersThesis{58223,
author = {Cordeiro, Ricardo Jorge Dias},
title = {Formalization and Runtime Verification of Invariants for Robotic Systems},
school = {FACULDADE DE CIÊNCIAS DA UNIVERSIDADE DE LISBOA},
year = {2023},
OPTtype = {Documentos Académicos}
}