ProfileOfResearchers

NO MEU:

ORCID |

232

TÃTULO: Modeling and Formal Analysis of Urban Road Traffic Full Text
AUTORES: Camelia Avram; Jose Machado ; Adina Astilean;
PUBLICAÇÃO: 2013, FONTE: 11th International Conference of Numerical Analysis and Applied Mathematics (ICNAAM) in 11TH INTERNATIONAL CONFERENCE OF NUMERICAL ANALYSIS AND APPLIED MATHEMATICS 2013, PTS 1 AND 2 (ICNAAM 2013), VOLUME: 1558

INDEXADO EM:

Scopus

WOS

NO MEU:

ORCID |

233

TÃTULO: Obtaining plant models for formal verification tasks from 3D CAD models: Which is the best approach?
AUTORES: Lobo, E; Fertuzinhos, J; Silva, JPMA; Machado, J ;
PUBLICAÇÃO: 2013, FONTE: 2012 International Conference on Manufacturing, Manufacturing 2012 in Advanced Materials Research, VOLUME: 630

INDEXADO EM:

Scopus

Handle

NO MEU:

ORCID |

234

TÃTULO: Preface of the "symposium on dependable mechatronic systems" Full Text
AUTORES: Machado, J ; Yildirim, S;
PUBLICAÇÃO: 2013, FONTE: 11th International Conference of Numerical Analysis and Applied Mathematics 2013, ICNAAM 2013 in AIP Conference Proceedings, VOLUME: 1558

INDEXADO EM:

Scopus

NO MEU:

ORCID |

235

TÃTULO: Reintrepreting the Cardiovascular System as a Mechanical Model Full Text
AUTORES: Lemos, D; Machado, J ; Minas, G ; Soares, F ; Barros, C; Leao, CP ;
PUBLICAÇÃO: 2013, FONTE: 11th International Conference of Numerical Analysis and Applied Mathematics (ICNAAM) in 11TH INTERNATIONAL CONFERENCE OF NUMERICAL ANALYSIS AND APPLIED MATHEMATICS 2013, PTS 1 AND 2 (ICNAAM 2013), VOLUME: 1558

INDEXADO EM:

Scopus

WOS

Handle

NO MEU:

236

TÃTULO: Remote Physiological Systems (RePhyS) Laboratory: a didactic learning environment
AUTORES: Barros, C; Leao, P ; Soares, F ; Minas, G ; Machado, J ;
PUBLICAÇÃO: 2013, FONTE: 3rd Portuguese Bioengineering Meeting in 2013 IEEE 3RD PORTUGUESE MEETING IN BIOENGINEERING (ENBENG)

INDEXADO EM:

Scopus

WOS

Handle

NO MEU:

237

TÃTULO: RePhyS: A multidisciplinary experience in remote physiological systems laboratory Full Text
AUTORES: Barros, C; Leao, CP ; Soares, F ; Minas, G ; Machado, J ;
PUBLICAÇÃO: 2013, FONTE: International Journal of Online Engineering, VOLUME: 9, NÚMERO: SPL.ISSUE5

INDEXADO EM:

Scopus

Handle

NO MEU:

238

TÃTULO: Using ICT Techniques for Improving Mechatronic Systems' Dependability Full Text
AUTORES: Emanuel Miron; Joao P M A Silva; Jose Machado ; Dumitru Olaru; Gheorghe Prisacaru;
PUBLICAÇÃO: 2013, FONTE: 11th International Conference of Numerical Analysis and Applied Mathematics (ICNAAM) in 11TH INTERNATIONAL CONFERENCE OF NUMERICAL ANALYSIS AND APPLIED MATHEMATICS 2013, PTS 1 AND 2 (ICNAAM 2013), VOLUME: 1558

INDEXADO EM:

Scopus

WOS

NO MEU:

ORCID |

239

TÃTULO: A SUPPORT TOOL FOR TEACHING GRAFCET: ENGINEERING STUDENTS' PERCEPTIONS
AUTORES: Celina P Leao ; Filomena O Soares ; Jose Machado ; de Moura Oliveira, PBD ; Boaventura Cunha, JB ;
PUBLICAÇÃO: 2012, FONTE: ASME International Mechanical Engineering Congress and Exposition (IMECE) in PROCEEDINGS OF THE ASME INTERNATIONAL MECHANICAL ENGINEERING CONGRESS AND EXPOSITION, 2011, VOL 5, VOLUME: 5

INDEXADO EM:

Scopus

WOS

NO MEU:

ORCID |

240

TÃTULO: A Systematized Approach for Obtaining a Dependable Structured Specification for an Industrial Automation System
AUTORES: Machado, J ; Seabra, E ;
PUBLICAÇÃO: 2012, FONTE: 10th IEEE International Conference on Industrial Informatics (INDIN) in 2012 10TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN)

INDEXADO EM:

Scopus

WOS

Handle

NO MEU: