Mostrar 65-84 de um total de 175 resultados.
< anterior
próximo >
Data | Título | Autor(es) | Tipo | Acesso |
2017 | Formal analysis of an urban road traffic model | Avram, Camelia; Valente, Eduardo; Aştilean, Adina, et al. | Artigo em ata de conferência | Acesso restrito UMinho |
Set-2011 | A formal approach for aerospace systems control considering SFC specification and C programming language | Borges, Paulo; Machado, José Mendes; Seabra, Eurico, et al. | Artigo em ata de conferência | Acesso aberto |
2010 | A formal approach for safe controllers analysis | Borges, Paulo; Machado, José Mendes; Seabra, Eurico, et al. | Artigo em ata de conferência | Acesso aberto |
2017 | A Formal Methodology for Accomplishing IEC 61850 Real-Time Communication Requirements | Kunz, Guilherme; Machado, José; Perondi, Eduardo, et al. | Artigo | Acesso restrito autor |
Out-2017 | Formal verification considering a systematic modeling approach for function blocks | Machado, José; Galvão, Joel Maurício Rocha; Fernandes, Alexandre | Artigo | Acesso restrito autor |
2019 | Friction properties of polyoxymethylene (POM) materials in dry and lubricated conditions | Sabet, Seyyed M. M.; Dourado, Marco Daniel Malheiro; Pereira, António, et al. | Artigo em ata de conferência | Acesso restrito autor |
5-Jan-2023 | Global resources management: a systematic review and framework proposal for collaborative management of CPPS | Varela, M.L.R.; Trojanowska, Justyna; Cruz-Cunha, Maria Manuela, et al. | Artigo | Acesso aberto |
2010 | A holonic approach to the integration of automated systems | Silva, José Reinaldo; Poli Junior, Marco António; Pereira, Celina Soares, et al. | Artigo em ata de conferência | Acesso aberto |
8-Jul-2021 | A hybrid multi-objective evolutionary algorithm-based semantic foundation for sustainable distributed manufacturing systems | Ramakurthi, Veera Babu; Manupati, V. K.; Machado, José, et al. | Artigo | Acesso aberto |
29-Abr-2022 | Identification of the critical enablers for perishable food supply chain using deterministic assessment models | Karanam, Malleswari; Krishnanand, Lanka; Manupati, Vijaya Kumar, et al. | Artigo | Acesso aberto |
2019 | Impact of UTAUT predictors on the intention and usage of electronic health records and telemedicine from the perspective of clinical staffs | Venugopal, P.; Priya, S. Aswini; Manupati, V. K., et al. | Artigo em ata de conferência | Acesso restrito UMinho |
2016 | Improving production flexibility in an industrial company by shortening changeover time: a triple helix collaborative project | Trojanowska, Justyna; Zywicki, Krzysztof; Varela, M.L.R., et al. | Capítulo de livro | Acesso restrito UMinho |
2015 | Industrial controlling process using the remote industrial automation trainer PAIR | Silva, M.; Pereira, F.; Soares, Filomena, et al. | Artigo em ata de conferência | Acesso restrito autor |
30-Jun-2006 | Influence de la prise en compte dun modèle du processus en vérification formelle des Systèmes à Evénements Discrets | Machado, José Mendes | Tese de doutoramento | Acesso aberto |
28-Nov-2022 | Influence of the main geometrical parameters on the design and performance of mixed inflow turbines | Chelabi, Mohammed Amine; Dobrotvorskiy, Sergey; Basova, Yevheniia, et al. | Artigo | Acesso aberto |
2016 | Information organization and production planning improvement in a clothes company in Portugal | Araújo, A.; Kapisch, L.; Varela, Maria Leonilde Rocha, et al. | Artigo | Acesso aberto |
2016 | Innovative mechatronic approach to redesign a punch and bind machine | Figueiredo, Luis; Sousa, Joao; Monteiro, Luís, et al. | Artigo em ata de conferência | Acesso restrito UMinho |
2016 | Integrated platform for real-time control and production and productivity monitoring and analysis | Vieira, Gaspar Gonçalves; Varela, Maria Leonilde Rocha; Putnik, Goran D., et al. | Artigo | Acesso aberto |
2021 | Integrated process planning and scheduling in networked manufacturing systems for I4.0: a review and framework proposal | Varela, M.L.R.; Putnik, Goran D.; Manupati, Vijay K., et al. | Artigo | Acesso restrito autor |
3-Jan-2023 | Intelligent computer vision system for analysis and characterization of yarn quality | Pereira, Filipe; Macedo, Alexandre; Pinto, Leandro, et al. | Artigo | Acesso aberto |