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
Inês Pinto Gouveia apresenta a dissertação "Non-intrusive Observation and Runtime Verification of Cyber-Physical Systems".