51
TITLE: Dispositivo para a reabilitação do sistema articular superior: Do fabrico ao teste em pacientes
AUTHORS: João Lacerda; Tiago F C Marques; Eurico Seabra; Luís F Silva; Gustavo Ariel;
PUBLISHED: 2012
INDEXED IN: Handle
52
TITLE: Design of Medical Rehabilitation Devices: A case study
AUTHORS: Seabra, E; Silva, LF; Flores, P; Lima, M;
PUBLISHED: 2011, SOURCE: 6th International Conference on Technology and Medical Sciences (TMSi) in TECHNOLOGY AND MEDICAL SCIENCES - TMSI 2010
INDEXED IN: WOS
53
TITLE: A formal approach for aerospace systems control considering SFC specification and C programming language
AUTHORS: Paulo Borges; José M Machado; Eurico Seabra; Luís F Silva;
PUBLISHED: 2011
INDEXED IN: Handle
54
TITLE: Concepção e desenvolvimento de sistemas biotecnológicos
AUTHORS: Vicente, A. A.; Rui C Martins; Silva, J. S.; Pedro Araújo; Gustavo Ariel; Eurico Seabra; Luís F Silva;
PUBLISHED: 2011
INDEXED IN: Handle
55
TITLE: Design and development of a feeding aid device to assist people with deficiency
AUTHORS: Eurico Seabra; Luís F Silva; José M Machado;
PUBLISHED: 2011
INDEXED IN: Handle
56
TITLE: USING MODELICA MODELLING LANGUAGE FOR PHYSICAL PLANT PARAMETERS EVALUATION AND OPTIMIZATION A Case Study
AUTHORS: Enrico Seabra; Jose Machado;
PUBLISHED: 2010, SOURCE: 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
INDEXED IN: WOS
57
TITLE: A systematized approach to obtain dependable controllers specifications
AUTHORS: José M Machado; Eurico Seabra;
PUBLISHED: 2010
INDEXED IN: Handle
58
TITLE: Simulation and formal verification of industrial systems controllers
AUTHORS: José M Machado; Eurico Seabra; Campos, J. Creissac; Filomena Soares; Celina P Leão;
PUBLISHED: 2008
INDEXED IN: Handle
59
TITLE: Simulation and formal verification of real time systems: A case study
AUTHORS: Eurico Seabra; José Machado; Jaime Ferreira da Silva; Filomena O Soares; Celina P Leão;
PUBLISHED: 2007, SOURCE: 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
INDEXED IN: DBLP
Page 6 of 6. Total results: 59.