Listar por autor "Machado, José"
Mostrando ítems 1-4 de 4
-
ABORDAGEM SISTEMÁTICA PARA O CONTROLO SEGURO DE SISTEMAS AEROESPACIAIS
Borges, Paulo; Machado, José; Ferreira, João; Creissac Campos, José; Villani, Emilia (2010)Formal verification of real-time systems behavior of is a complex task, for several reasons. There are multiple works developed in the domain of formal verification of real-time system behavior by model-checking, and various ... -
AUTOMAÇÃO DO PROCESSO DE VERIFICAÇÃO DE SOFTWARE PARA PROGRAMADORES LÓGICOS SIL EM APLICAÇÕES DE EXPLORAÇÃO DE PETRÓLEO SUBMARINA
Marques, Ricardo; Rodrigues De Seabra, Eurico Augusto; Machado, José (2016)Process Shutdown systems are used for shutting down subsea oil and gas wells and maintaining a safe state for the intervention systems. The safety and reliability of the technology used for process shutdown is one of the ... -
DESENVOLVIMENTO DE UM "STANDING FRAME" PARA REABILITAÇÃO DE CRIANÇAS COM DEFICIÊNCIA MENTAL
Silva, Luís; Seabra, Eurico; Machado, José (2010)A standing frame is a mechanical or mechatronic equipment (recent versions) that aims to correct the inability of individuals to assume the vertical position. The existing standing frames on the market do not allow easy ... -
DESIGN AND DEVELOPMENT OF A TRIBOMETER FOR DENTAL APPLICATIONS
Seabra, Eurico; Machado, José; Flores, Paulo (2009)This work deals with the design and development of an experimental apparatus that allows the tribological characterization of the dental mastication human activity, namely in what concerns the friction and wear phenomena. ...