Eurico Augusto Rodrigues de Seabra


AuthID: R-000-4QR

Publicações Confirmadas: 84



81
TÍTULO: A new plant modelling approach for formal verification purposes
AUTORES: Machado, J ; Seabra, E ; Soares, F ; Campos, J ;
PUBLICAÇÃO: 2007, FONTE: 11th IFAC/IFORS/IMACS/IFIP Symposium on Large Scale Complex Systems Theory and Applications, LSS 2007 in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 11, NÚMERO: PART 1
INDEXADO EM: Scopus CrossRef Handle
NO MEU: ORCID | CIÊNCIAVITAE
82
TÍTULO: Biomodels reconstruction based on 2D medical images
AUTORES: Lopes, P; Flores, P ; Seabra, E ;
PUBLICAÇÃO: 2007, FONTE: International Symposium on Computational Modelling of Objects Represented in Images (CompIMAGE 2006) in COMPUTATIONAL MODELLING OF OBJECTS REPRESENTED IN IMAGES: FUNDAMENTALS, METHODS AND APPLICATIONS
INDEXADO EM: Scopus WOS
NO MEU: ORCID | CIÊNCIAVITAE
83
TÍTULO: Rapid prototyping technology in medical applications: A critical review
AUTORES: Lopes, P; Flores, P ; Seabra, E ;
PUBLICAÇÃO: 2007, FONTE: International Symposium on Computational Modelling of Objects Represented in Images (CompIMAGE 2006) in COMPUTATIONAL MODELLING OF OBJECTS REPRESENTED IN IMAGES: FUNDAMENTALS, METHODS AND APPLICATIONS
INDEXADO EM: Scopus WOS
NO MEU: ORCID | CIÊNCIAVITAE
84
TÍTULO: Simulation and formal verification of real time systems: A case study
AUTORES: Eurico Seabra ; Jose Machado ; Jaime Ferreira da Silva; Filomena O Soares ; Celina P Leao ;
PUBLICAÇÃO: 2007, FONTE: 4th International Conference on Informatics in Control, Automation and Robotics in ICINCO 2007: PROCEEDINGS OF THE FOURTH INTERNATIONAL CONFERENCE ON INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS, VOL SPSMC: SIGNAL PROCESSING, SYSTEMS MODELING AND CONTROL, VOLUME: SPSMC
INDEXADO EM: Scopus WOS
NO MEU: ORCID | CIÊNCIAVITAE
Página 9 de 9. Total de resultados: 84.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service