Eurico Augusto Rodrigues de Seabra
AuthID: R-000-4QR
51
TÃTULO: Dispositivo para a reabilitação do sistema articular superior: Do fabrico ao teste em pacientes
AUTORES: João Lacerda; Tiago F C Marques; Eurico Seabra; Luís F Silva; Gustavo Ariel;
PUBLICAÇÃO: 2012
AUTORES: João Lacerda; Tiago F C Marques; Eurico Seabra; Luís F Silva; Gustavo Ariel;
PUBLICAÇÃO: 2012
INDEXADO EM:
Handle

52
TÃTULO: Design of Medical Rehabilitation Devices: A case study
AUTORES: Seabra, E; Silva, LF; Flores, P; Lima, M;
PUBLICAÇÃO: 2011, FONTE: 6th International Conference on Technology and Medical Sciences (TMSi) in TECHNOLOGY AND MEDICAL SCIENCES - TMSI 2010
AUTORES: Seabra, E; Silva, LF; Flores, P; Lima, M;
PUBLICAÇÃO: 2011, FONTE: 6th International Conference on Technology and Medical Sciences (TMSi) in TECHNOLOGY AND MEDICAL SCIENCES - TMSI 2010
INDEXADO EM:
WOS

53
TÃTULO: A formal approach for aerospace systems control considering SFC specification and C programming language
AUTORES: Paulo Borges; José M Machado; Eurico Seabra; Luís F Silva;
PUBLICAÇÃO: 2011
AUTORES: Paulo Borges; José M Machado; Eurico Seabra; Luís F Silva;
PUBLICAÇÃO: 2011
INDEXADO EM:
Handle

54
TÃTULO: Concepção e desenvolvimento de sistemas biotecnológicos
AUTORES: Vicente, A. A.; Rui C Martins; Silva, J. S.; Pedro Araújo; Gustavo Ariel; Eurico Seabra; Luís F Silva;
PUBLICAÇÃO: 2011
AUTORES: Vicente, A. A.; Rui C Martins; Silva, J. S.; Pedro Araújo; Gustavo Ariel; Eurico Seabra; Luís F Silva;
PUBLICAÇÃO: 2011
INDEXADO EM:
Handle

55
TÃTULO: Design and development of a feeding aid device to assist people with deficiency
AUTORES: Eurico Seabra; Luís F Silva; José M Machado;
PUBLICAÇÃO: 2011
AUTORES: Eurico Seabra; Luís F Silva; José M Machado;
PUBLICAÇÃO: 2011
INDEXADO EM:
Handle

56
TÃTULO: USING MODELICA MODELLING LANGUAGE FOR PHYSICAL PLANT PARAMETERS EVALUATION AND OPTIMIZATION A Case Study
AUTORES: Enrico Seabra; Jose Machado;
PUBLICAÇÃO: 2010, FONTE: 7th International Conference on Informatics in Control, Automation and Robotics in ICINCO 2010: PROCEEDINGS OF THE 7TH INTERNATIONAL CONFERENCE ON INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS, VOL 1
AUTORES: Enrico Seabra; Jose Machado;
PUBLICAÇÃO: 2010, FONTE: 7th International Conference on Informatics in Control, Automation and Robotics in ICINCO 2010: PROCEEDINGS OF THE 7TH INTERNATIONAL CONFERENCE ON INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS, VOL 1
INDEXADO EM:
WOS

57
TÃTULO: A systematized approach to obtain dependable controllers specifications
AUTORES: José M Machado; Eurico Seabra;
PUBLICAÇÃO: 2010
AUTORES: José M Machado; Eurico Seabra;
PUBLICAÇÃO: 2010
INDEXADO EM:
Handle

58
TÃTULO: Simulation and formal verification of industrial systems controllers
AUTORES: José M Machado; Eurico Seabra; Campos, J. Creissac; Filomena Soares; Celina P Leão;
PUBLICAÇÃO: 2008
AUTORES: José M Machado; Eurico Seabra; Campos, J. Creissac; Filomena Soares; Celina P Leão;
PUBLICAÇÃO: 2008
INDEXADO EM:
Handle

59
TÃTULO: Simulation and formal verification of real time systems: A case study
AUTORES: Eurico Seabra; José Machado; Jaime Ferreira da Silva; Filomena O Soares; Celina P Leão;
PUBLICAÇÃO: 2007, FONTE: ICINCO 2007, Proceedings of the Fourth International Conference on Informatics in Control, Automation and Robotics, Signal Processing, Systems Modeling and Control, Angers, France, May 9-12, 2007
AUTORES: Eurico Seabra; José Machado; Jaime Ferreira da Silva; Filomena O Soares; Celina P Leão;
PUBLICAÇÃO: 2007, FONTE: ICINCO 2007, Proceedings of the Fourth International Conference on Informatics in Control, Automation and Robotics, Signal Processing, Systems Modeling and Control, Angers, France, May 9-12, 2007
INDEXADO EM:
DBLP
