Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Teses
supervisionadas

Teses supervisionadas por André Carrilho Baptista

Validação do IEC 61131-3 Programmable Logical Controllers em KeyMaera

Autor Yoan David Ribeiro

Grau MSc

Ano 2015

Instituição UM