Data | Título | Autor(es) | Tipo | Acesso |
2010 | Abordagem sistemática para o controlo seguro de sistemas aeroespaciais | Borges, Paulo André Mendes; Machado, José; Ferreira, João Amaro Oliveira, et al. | Artigo em ata de conferência | Acesso aberto |
2011 | Design of a mechatronic system for application of hardware-in-the-loop simulation technique | Chioran, Daniel; Machado, José Mendes | Artigo | Acesso aberto |
Set-2011 | A formal approach for aerospace systems control considering SFC specification and C programming language | Borges, Paulo; Machado, José Mendes; Seabra, Eurico, et al. | Artigo em ata de conferência | Acesso aberto |
2010 | A formal approach for safe controllers analysis | Borges, Paulo; Machado, José Mendes; Seabra, Eurico, et al. | Artigo em ata de conferência | Acesso aberto |
Mai-2011 | Safe controllers design for industrial automation systems | Machado, José Manuel; Seabra, Eurico; Campos, J. Creissac, et al. | Artigo | Acesso restrito UMinho |