Logics and Calculi for Cyber Physical Components

Author Renato Jorge Araújo Neves

Degree MSc

Year 2016

Institution UM

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

Author Sara dos Santos Fernandes

Degree MSc

Year 2016

Institution UM

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

Author Yoan David Ribeiro

Degree MSc

Institution UM

Architectural reconfiguration of interacting services

Author Nuno Ernesto Salgado Oliveira

Degree MSc

Institution UM

A calculus of architectural patterns

Author Alejandro Sanchez

Degree MSc

Institution UM

Foundations for Quantum Algoritmics

Author Carlos Eduardo Teixeira Tavares

Degree MSc

Institution UM

A Virtual Factory for Smart City Service Integration

Author Maria Guillermina Cledou

Degree MSc

Institution UM

Logics and Calculi for Cyber Physical Components

Author Renato Jorge Araújo Neves

Degree MSc

Institution UM

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

Author Sara dos Santos Fernandes

Degree MSc

Institution UM

Logic foundations and computational tools for synthetic biology

Author Daniel Figueiredo

Degree MSc

Institution UM