Browsing by author 2277 Subscribe author statistics Autor

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:  

Showing results 80 to 99 of 138. < previous   next >
Issue DateTitleAuthor(s)TypeAccess
2004Model of mechanism behavior for verification of PLC programsMachado, José Mendes; Denis, Bruno; Lesage, Jean-Jacques, et al.Conference paperOpen access
2019Model proposal to evaluate the quality of a production planning and control software in an industrial contextGonçalves, Ricardo M.P.; Varela, M.L.R.; Madureira, Ana M., et al.Book partRestricted access (UMinho)
2013Modeling and formal analysis of urban road trafficAvram, Camelia; Machado, José; Aştilean, AdinaConference paperOpen access
Jul-2011Modeling and simulating the controller behavior of an automated people mover using IEC 61850 communication requirementsKunz, Guilherme; Perondi, Eduardo; Machado, José MendesConference paperOpen access
Jul-2011Modeling and simulation of IEC 61850 requirements applied to an automated people mover's controllerKunz, Guilherme; Machado, José Mendes; Perondi, EduardoConference paperOpen access
13-Mar-2013A multidisciplinary experience in Remote Physiological Systems laboratoryBarros, C.; Leão, Celina Pinto; Soares, Filomena, et al.Conference paperRestricted access (UMinho)
28-Oct-2019A new methodology for use by a single caregiver to bathe bedridden elderly persons using advanced mechatronic systemsBezerra, Karolina; Machado, José; Carvalho, Vítor, et al.ArticleOpen access
2007A new plant modelling approach for formal verification purposesMachado, José; Seabra, Eurico; Soares, Filomena, et al.Conference paperOpen access
2013Obtaining plant models for formal verification tasks from 3D CAD models: which is the best approach?Lobo, Edgar; Fertuzinhos, João; Silva, João Pedro Mendonça de Assunção da, et al.Conference paperRestricted access (UMinho)
Jan-2015PAIR: the remote industrial automation trainerSilva, Mário; Pereira, Filipe; Soares, Filomena, et al.Conference paperRestricted access (Author)
Apr-2011Partial plant models in formal verification of industrial automation discrete systemsMachado, José Mendes; Campos, J. CreissacConference paperOpen access
2009Pattern-based analysis of automated production systemsCampos, J. Creissac; Machado, JoséConference paperOpen access
2017A prática de atividade física de crianças e jovens de três freguesias do concelho de AmaranteGonçalves, Emília; Machado, José; Carvalho, Graça Simões deBook partOpen access
2015Preface of the "symposium on dependable mechatronic systems"Machado, JoséConference editorialRestricted access (Author)
2013Preface of the "Symposium on dependable mechatronic systems"Machado, José; Yildirim, SahinConference editorialOpen access
2018Production flow improvement in a textile industryLopes, Jose J.; Varela, M.L.R.; Trojanowska, Justyna, et al.Conference paperRestricted access (UMinho)
2008Property patterns for the formal verification of automated production systemsCampos, J. Creissac; Machado, José; Seabra, EuricoConference paperOpen access
2015Prototype for determination of pre-transfusion tests based on image processing techniquesFerraz, Ana; Machado, José; Carvalho, VitorConference paperRestricted access (UMinho)
2016Purchase management improvement in a TV company from the industry district of Manaus (PIM)Kapisch, L.; Araújo, A.; Varela, Maria Leonilde Rocha, et al.ArticleOpen access
2015QR codes and Java applied to physiological data acquisition in biomedical engineering educationBarros, Carla; Leão, Celina Pinto; Soares, Filomena, et al.Conference paperRestricted access (UMinho)