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
Escola
Instituto Superior Técnico
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