Listar CIDIP 2010 (Madrid) por autor "Machado, José"
Mostrando ítems 1-2 de 2
-
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 ... -
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 ...