Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-9 de um total de 9 resultados (tempo de pesquisa: 0.016 segundos).
DataTítuloAutor(es)TipoAcesso
2017Sensors and actuators on determining parameters for being considered in selection of elastomers for biomimetic handsCârlescu, Vlad; Olaru, Dumitru N.; Prisacaru, Gheorghe; Oprisan, Cezar; Machado, JoséArtigoAcesso aberto
2016Automating the software verification test process for SIL logic solvers for subsea oil & gas applicationsMarqués, Ricardo; Seabra, Eurico; Machado, JoséArtigo em ata de conferênciaAcesso aberto
2017Blood type classification using computer vision and machine learningFerraz, Ana; Brito, José Henrique; Carvalho, Vítor; Machado, JoséArtigoAcesso restrito UMinho
Mar-2017Development of an automatic system for the measurement of force and stroke parameters of car radio keypadsCanadas, Nuno Miguel Evangelista; Machado, José; Meireles, José F.; Delgado, Pedro; Portinha, AníbalArtigoAcesso restrito autor
2017A Formal Methodology for Accomplishing IEC 61850 Real-Time Communication RequirementsKunz, Guilherme; Machado, José; Perondi, Eduardo; Vyatkin, ValeriyArtigoAcesso restrito autor
2017Determination of human blood type using image processing techniquesFerraz, Ana; Carvalho, Vítor; Machado, JoséArtigoAcesso restrito autor
2016Mechatronic system for performing blood pre-transfusion testsFerraz, Ana; Carvalho, Vítor; Machado, José; Brito, JoséArtigoAcesso restrito autor
2017Using timed automata for modeling, simulating and verifying networked systems controller's specificationsKunz, Guilherme; Machado, José; Perondi, EduardoArtigoAcesso restrito UMinho
Out-2017Formal verification considering a systematic modeling approach for function blocksMachado, José; Galvão, Joel Maurício Rocha; Fernandes, AlexandreArtigoAcesso restrito autor
1-9 de um total de 9 resultados (tempo de pesquisa: 0.016 segundos).
  • Anterior
  • 1
  • Próxima

Descobrir