Logics and Calculi for Cyber Physical Components

Autor Renato Jorge Araújo Neves

Grau MSc

Ano 2016

Instituição UM

Peer-Production and Technology-Enhanced Collaborative Teaching and Learning (Models, Methods and Frameworks)

Autor Sara dos Santos Fernandes

Grau MSc

Ano 2016

Instituição UM

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

Autor Yoan David Ribeiro

Grau MSc

Instituição UM

Architectural reconfiguration of interacting services

Autor Nuno Ernesto Salgado Oliveira

Grau MSc

Instituição UM

A calculus of architectural patterns

Autor Alejandro Sanchez

Grau MSc

Instituição UM

Foundations for Quantum Algoritmics

Autor Carlos Eduardo Teixeira Tavares

Grau MSc

Instituição UM

A Virtual Factory for Smart City Service Integration

Autor Maria Guillermina Cledou

Grau MSc

Instituição UM

Logics and Calculi for Cyber Physical Components

Autor Renato Jorge Araújo Neves

Grau MSc

Instituição UM

Peer-Production and Technology-Enhanced Collaborative Teaching and Learning (Models, Methods and Frameworks)

Autor Sara dos Santos Fernandes

Grau MSc

Instituição UM

Logic foundations and computational tools for synthetic biology

Autor Daniel Figueiredo

Grau MSc

Instituição UM