Data | Título | Autor(es) | Tipo | Acesso |
Out-2011 | A dependable automated people mover system modeled and verified using timed automata : a case study | Kunz, Guilherme; Perondi, Eduardo; Machado, José Mendes | Artigo em ata de conferência | Acesso aberto |
Nov-2009 | Design of an inlet track of a small I.C. engine for swirl enhancement | Martins, Jorge; Teixeira, S. F. C. F.; Coene, Stijn | Artigo em ata de conferência | Acesso aberto |
6-Nov-2005 | Engine design using rapid prototyping techniques | Martins, Jorge; Monteiro, A. Caetano; Barbosa, J. | Artigo em ata de conferência | Acesso aberto |
Nov-2009 | In-cylinder swirl analysis of different strategies on over-expanded cyclies | Martins, Jorge; Ribeiro, Bernardo Sousa; Teixeira, S. F. C. F. | Artigo em ata de conferência | Acesso aberto |
Nov-2009 | Miniaturised cylinder head production by rapid prototyping | Melo, Rodrigo; Monteiro, A. Caetano; Martins, Jorge, et al. | Artigo em ata de conferência | Acesso aberto |
2004 | Model of mechanism behavior for verification of PLC programs | Machado, José Mendes; Denis, Bruno; Lesage, Jean-Jacques, et al. | Artigo em ata de conferência | Acesso aberto |
2008 | Simulation and formal verification of industrial systems controllers | Machado, José Mendes; Seabra, Eurico; Campos, J. Creissac, et al. | Artigo em ata de conferência | Acesso aberto |
2010 | A systematized approach to obtain dependable controllers specifications | Machado, José Mendes; Seabra, Eurico | Artigo em ata de conferência | Acesso aberto |