Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 21-30 de um total de 37 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
2010A formal approach for safe controllers analysisBorges, Paulo; Machado, José Mendes; Seabra, Eurico; Lima, MárioArtigo em ata de conferênciaAcesso aberto
Jul-2011Modeling and simulating the controller behavior of an automated people mover using IEC 61850 communication requirementsKunz, Guilherme; Perondi, Eduardo; Machado, José MendesArtigo em ata de conferênciaAcesso aberto
Set-2011Biomedical device for spasticity quantification based on the velocity dependence of the stretch reflex thresholdFerreira, João Amaro Oliveira; Moreira, Vitor; Machado, José Mendes; Soares, FilomenaArtigo em ata de conferênciaAcesso aberto
2011Design and development of an industrial network laboratoryLeão, Celina Pinto; Soares, Filomena; Machado, José Mendes; Seabra, Eurico; Rodrigues, HelenaArtigoAcesso aberto
2012A systematized approach for obtaining a dependable structured specification for an industrial automation systemMachado, José Mendes; Seabra, EuricoArtigo em ata de conferênciaAcesso restrito UMinho
2012Web-assisted laboratory for control education : remote and virtual environmentsLeão, Celina Pinto; Soares, Filomena; Rodrigues, Helena; Seabra, Eurico; Machado, José Mendes; Farinha, Pedro; Costa, SandraArtigo em ata de conferênciaAcesso restrito UMinho
Set-2011Design and development of a feeding aid device to assist people with deficiencySeabra, Eurico; Silva, Luís F.; Machado, José MendesArtigo em ata de conferênciaAcesso aberto
2012Conceptual design and development of an automated co-generation systemSeabra, Eurico; Machado, José Mendes; Lima, MárioArtigoAcesso aberto
2008Simulation and formal verification of industrial systems controllersMachado, José Mendes; Seabra, Eurico; Campos, J. Creissac; Soares, Filomena; Leão, Celina PintoArtigo em ata de conferênciaAcesso aberto
2001Síntese e implementação do comando de Sistemas Automatizados de Produção utilizando Statecharts e as linguagens IEC 61 131-3Machado, José MendesOutroAcesso aberto
21-30 de um total de 37 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir