Desenvolvimento de algoritmos de proteção no domínio do tempo via Models-ATP

"Desenvolvimento de algoritmos de proteção no domínio do tempo via Models-ATP" (Mestrado). Candidato: Marco Paolo Sovero Huamani. Orientadora: professora Maria Cristina Dias Tavares. Dia 27 de novembro de 2019, às 9 horas, na sala LE48 da FEEC.