Data | Título | Autor(es) | Tipo | Acesso |
Set-2008 | Elementos para o desenho de estruturas de armazenagem e movimentação de GPL : uma abordagem sob o ponto de vista ATEX | Sousa, Manuel; Martins, Jorge; Cunha, R. | Artigo em ata de conferência | Acesso aberto |
Abr-2016 | Formal verification of a space system's user Interface with the IVY workbench | Campos, José C.; Sousa, Manuel; Alves, Miriam C. Bergue, et al. | Artigo | Acesso aberto |
2014 | Formal verification of safety-critical user interfaces: a space system case study | Sousa, Manuel; Campos, J. Creissac; Alves, Miriam, et al. | Artigo em ata de conferência | Acesso aberto |
3-Nov-2004 | Identidade e cultura organizacional: reflexões sobre a vivência na Digital Equipment (DEC) | Sousa, Manuel; Ramos, Isabel | Artigo em ata de conferência | Acesso aberto |