You are here

home / Prova de Mestrado: Non-intrusive Observation and Runtime Verification of Cyber-Physical Systems /
Back to Top
    
Mestrado em Engenharia Informática

Prova de Mestrado: Non-intrusive Observation and Runtime Verification of Cyber-Physical Systems

Sala 6.2.38, FCUL, Lisboa

Inês Pinto Gouveia apresenta a dissertação "Non-intrusive Observation and Runtime Verification of Cyber-Physical Systems".

14h00
Aviso
2.º Ciclo
Informática
Engenharia Informática