ProfileOfResearchers

IN MY:

ORCID |

232

TITLE: Modeling and Formal Analysis of Urban Road Traffic Full Text
AUTHORS: Camelia Avram; Jose Machado ; Adina Astilean;
PUBLISHED: 2013, SOURCE: 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

INDEXED IN:

Scopus

WOS

IN MY:

ORCID |

233

TITLE: Obtaining plant models for formal verification tasks from 3D CAD models: Which is the best approach?
AUTHORS: Lobo, E; Fertuzinhos, J; Silva, JPMA; Machado, J ;
PUBLISHED: 2013, SOURCE: 2012 International Conference on Manufacturing, Manufacturing 2012 in Advanced Materials Research, VOLUME: 630

INDEXED IN:

Scopus

Handle

IN MY:

ORCID |

234

TITLE: Preface of the "symposium on dependable mechatronic systems" Full Text
AUTHORS: Machado, J ; Yildirim, S;
PUBLISHED: 2013, SOURCE: 11th International Conference of Numerical Analysis and Applied Mathematics 2013, ICNAAM 2013 in AIP Conference Proceedings, VOLUME: 1558

INDEXED IN:

Scopus

IN MY:

ORCID |

235

TITLE: Reintrepreting the Cardiovascular System as a Mechanical Model Full Text
AUTHORS: Lemos, D; Machado, J ; Minas, G ; Soares, F ; Barros, C; Leao, CP ;
PUBLISHED: 2013, SOURCE: 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

INDEXED IN:

Scopus

WOS

Handle

IN MY:

236

TITLE: Remote Physiological Systems (RePhyS) Laboratory: a didactic learning environment
AUTHORS: Barros, C; Leao, P ; Soares, F ; Minas, G ; Machado, J ;
PUBLISHED: 2013, SOURCE: 3rd Portuguese Bioengineering Meeting in 2013 IEEE 3RD PORTUGUESE MEETING IN BIOENGINEERING (ENBENG)

INDEXED IN:

Scopus

WOS

Handle

IN MY:

237

TITLE: RePhyS: A multidisciplinary experience in remote physiological systems laboratory Full Text
AUTHORS: Barros, C; Leao, CP ; Soares, F ; Minas, G ; Machado, J ;
PUBLISHED: 2013, SOURCE: International Journal of Online Engineering, VOLUME: 9, ISSUE: SPL.ISSUE5

INDEXED IN:

Scopus

Handle

IN MY:

238

TITLE: Using ICT Techniques for Improving Mechatronic Systems' Dependability Full Text
AUTHORS: Emanuel Miron; Joao P M A Silva; Jose Machado ; Dumitru Olaru; Gheorghe Prisacaru;
PUBLISHED: 2013, SOURCE: 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

INDEXED IN:

Scopus

WOS

IN MY:

ORCID |

239

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

INDEXED IN:

Scopus

WOS

IN MY:

ORCID |

240

TITLE: A Systematized Approach for Obtaining a Dependable Structured Specification for an Industrial Automation System
AUTHORS: Machado, J ; Seabra, E ;
PUBLISHED: 2012, SOURCE: 10th IEEE International Conference on Industrial Informatics (INDIN) in 2012 10TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN)

INDEXED IN:

Scopus

WOS

Handle

IN MY: