fbpx Formal Reasoning About Temporal Properties in Dynamic Stochastic Systems Exact and Approximate Procedures with Applications | ULisboa

Formal Reasoning About Temporal Properties in Dynamic Stochastic Systems Exact and Approximate Procedures with Applications

Tipo 
Doutoramento
Candidato 
David João Barros Henriques
Título 
Formal Reasoning About Temporal Properties in Dynamic Stochastic Systems Exact and Approximate Procedures with Applications
School 
IST Técnico Lisboa
Data e Hora 
29/09/2016 - 14:30
Local 
Sala 3.10 (3º.Piso, Pavilhão de Matemática do IST)
Ramo / Especialidade 
  • Segurança de Informação
Edital 
PDF icon
Nomeação do Juri 
PDF icon