fbpx Interplay between Probabilistic and Temporal Reasoning: Applications to the Analysis and Synthesis of Complex Systems | ULisboa

Interplay between Probabilistic and Temporal Reasoning: Applications to the Analysis and Synthesis of Complex Systems

Tipo 
Doutoramento
Candidato 
Manuel Biscaia Martins
Título 
Interplay between Probabilistic and Temporal Reasoning: Applications to the Analysis and Synthesis of Complex Systems
School 
IST Técnico Lisboa
Data e Hora 
13/05/2016 - 14:00
Local 
Anfiteatro PA-3 (Piso-1, Pav. de Matemática) do IST
Ramo / Especialidade 
  • Segurança de Informação
Edital 
PDF icon
Nomeação do Juri 
PDF icon