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