Eurico Augusto Rodrigues de Seabra
AuthID: R-000-4QR
82
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
AUTHORS: Paulo Borges; José M Machado; Eurico Seabra; Luís F Silva;
PUBLISHED: 2011
INDEXED IN:
Handle

83
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
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

84
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
AUTHORS: Eurico Seabra; Luís F Silva; José M Machado;
PUBLISHED: 2011
INDEXED IN:
Handle

85
TITLE: Kinematic Analysis of the Roller Follower Motion in Translating Cam-Follower Mechanisms
AUTHORS: Seabra, E; Flores, P;
PUBLISHED: 2010, SOURCE: 3rd European Conference on Mechanisms Science (EUCOMES 2010 Conference) in NEW TRENDS IN MECHANISM SCIENCE: ANALYSIS AND DESIGN, VOLUME: 5
AUTHORS: Seabra, E; Flores, P;
PUBLISHED: 2010, SOURCE: 3rd European Conference on Mechanisms Science (EUCOMES 2010 Conference) in NEW TRENDS IN MECHANISM SCIENCE: ANALYSIS AND DESIGN, VOLUME: 5
86
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
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

87
TITLE: A systematized approach to obtain dependable controllers specifications
AUTHORS: José M Machado; Eurico Seabra;
PUBLISHED: 2010
AUTHORS: José M Machado; Eurico Seabra;
PUBLISHED: 2010
INDEXED IN:
Handle

88
TITLE: Investigation on the Baumgarte Stabilization Method for Dynamic Analysis of Constrained Multibody Systems
AUTHORS: Paulo Flores ; Rui Pereira; Margarida Machado; Eurico Seabra;
PUBLISHED: 2009, SOURCE: 2nd European Conference on Mechanism Science in PROCEEDINGS OF EUCOMES 08, THE SECOND EUROPEAN CONFERENCE ON MECHANISM SCIENCE
AUTHORS: Paulo Flores ; Rui Pereira; Margarida Machado; Eurico Seabra;
PUBLISHED: 2009, SOURCE: 2nd European Conference on Mechanism Science in PROCEEDINGS OF EUCOMES 08, THE SECOND EUROPEAN CONFERENCE ON MECHANISM SCIENCE
89
TITLE: Teaching Kinematics and Dynamics of Multibody Mechanical System Using the Object Oriented Language Modelica
AUTHORS: Eurico Augusto Rodrigues Seabra; José Mendes Machado;
PUBLISHED: 2009, SOURCE: International Journal of Online and Biomedical Engineering (iJOE), VOLUME: 5, ISSUE: 6
AUTHORS: Eurico Augusto Rodrigues Seabra; José Mendes Machado;
PUBLISHED: 2009, SOURCE: International Journal of Online and Biomedical Engineering (iJOE), VOLUME: 5, ISSUE: 6
90
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
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
