Export
APA
Inês Pinto Gouveia, (2017). Non-intrusive observation and runtime verification of cyber-physical systems. http://hdl.handle.net/10451/30815 Rufino, José Manuel de Sousa de Matos,
IEEE
Inês Pinto Gouveia, "Non-intrusive observation and runtime verification of cyber-physical systems", 2017.
BIBTEX
@MastersThesis{42825,
author = {Inês Pinto Gouveia},
title = {Non-intrusive observation and runtime verification of cyber-physical systems},
school = {FACULDADE DE CIÊNCIAS DA UNIVERSIDADE DE LISBOA},
year = {2017},
OPTtype = {Documentos Académicos},
OPTmonth = {Sept}
}