231
TITLE: Using timed automata for modeling, simulating and verifying networked systems controller’s specifications  Full Text
AUTHORS: Kunz, G; Machado, J; Perondi, E;
PUBLISHED: 2015, SOURCE: Neural Computing and Applications
INDEXED IN: Scopus CrossRef
IN MY: ORCID
233
TITLE: Cloud-based framework for advanced maintenance tasks
AUTHORS: Ferreira, RJ; Machado, J; Rose, H;
PUBLISHED: 2015, SOURCE: 13th International Conference on Industrial Informatics, INDIN 2015 in Proceeding - 2015 IEEE International Conference on Industrial Informatics, INDIN 2015
INDEXED IN: Scopus CrossRef
IN MY: ORCID
234
TITLE: Development and optimization of a paper punching system
AUTHORS: Sousa, J; Pinho, T; Figueiredo, L; Mendonça, J; Machado, J;
PUBLISHED: 2015, SOURCE: ASME 2015 International Mechanical Engineering Congress and Exposition, IMECE 2015 in ASME International Mechanical Engineering Congress and Exposition, Proceedings (IMECE), VOLUME: 2B-2015
INDEXED IN: Scopus CrossRef
IN MY: ORCID
235
TITLE: Design of a conceptual bed mattress for reducing pressure on bony prominences
AUTHORS: Salman, O; Carvalho, V; Bezerra, K; Soares, F ; Machado, J; Leão, CP;
PUBLISHED: 2015, SOURCE: ASME 2015 International Mechanical Engineering Congress and Exposition, IMECE 2015 in ASME International Mechanical Engineering Congress and Exposition, Proceedings (IMECE), VOLUME: 2B-2015
INDEXED IN: Scopus CrossRef
IN MY: ORCID
236
TITLE: CAD information handling for obtaining dependable manufacturing systems
AUTHORS: Miron, E; Mendonca, JP; Machado, J; Olaru, D; Prisacaru, G;
PUBLISHED: 2015, SOURCE: ASME 2015 International Mechanical Engineering Congress and Exposition, IMECE 2015 in ASME International Mechanical Engineering Congress and Exposition, Proceedings (IMECE), VOLUME: 2B-2015
INDEXED IN: Scopus CrossRef
IN MY: ORCID
237
TITLE: Cloud-Based Framework for Advanced Maintenance Tasks
AUTHORS: Ferreira, RJ; Jose Machado; Harry Rose;
PUBLISHED: 2015, SOURCE: 13th IEEE International Conference on Industrial Informatics (INDIN) in PROCEEDINGS 2015 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN)
INDEXED IN: WOS
238
TITLE: Development and optimization of a paper punching system
AUTHORS: Sousa, J; Pinho, T; Figueiredo, L; Mendonça, J; Machado, J;
PUBLISHED: 2015, SOURCE: ASME 2015 International Mechanical Engineering Congress and Exposition, IMECE 2015 in ASME International Mechanical Engineering Congress and Exposition, Proceedings (IMECE), VOLUME: 2B-2015
INDEXED IN: Scopus
IN MY: ORCID
239
TITLE: Design of a conceptual bed mattress for reducing pressure on bony prominences
AUTHORS: Salman, O; Carvalho, V; Bezerra, K; Soares, F ; Machado, J; Leão, CP;
PUBLISHED: 2015, SOURCE: ASME 2015 International Mechanical Engineering Congress and Exposition, IMECE 2015 in ASME International Mechanical Engineering Congress and Exposition, Proceedings (IMECE), VOLUME: 2B-2015
INDEXED IN: Scopus
IN MY: ORCID
240
TITLE: CAD information handling for obtaining dependable manufacturing systems
AUTHORS: Miron, E; Mendonca, JP; Machado, J; Olaru, D; Prisacaru, G;
PUBLISHED: 2015, SOURCE: ASME 2015 International Mechanical Engineering Congress and Exposition, IMECE 2015 in ASME International Mechanical Engineering Congress and Exposition, Proceedings (IMECE), VOLUME: 2B-2015
INDEXED IN: Scopus
IN MY: ORCID
Page 24 of 27. Total results: 267.