Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 37 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
Abr-2011Partial plant models in formal verification of industrial automation discrete systemsMachado, José Mendes; Campos, J. CreissacArtigo em ata de conferênciaAcesso aberto
30-Jun-2006Influence de la prise en compte dun modèle du processus en vérification formelle des Systèmes à Evénements DiscretsMachado, José MendesTese de doutoramentoAcesso aberto
Out-2011A dependable automated people mover system modeled and verified using timed automata : a case studyKunz, Guilherme; Perondi, Eduardo; Machado, José MendesArtigo em ata de conferênciaAcesso aberto
2004Model of mechanism behavior for verification of PLC programsMachado, José Mendes; Denis, Bruno; Lesage, Jean-Jacques; Faure, Jean-Marc; Silva, Jaime F. daArtigo em ata de conferênciaAcesso aberto
2010An approach for spasticity quantification based on the stretch reflex thresholdRodrigues, Paulo; Ferreira, João Amaro Oliveira; Soares, Filomena; Machado, José MendesArtigoAcesso aberto
Set-2011A formal approach for aerospace systems control considering SFC specification and C programming languageBorges, Paulo; Machado, José Mendes; Seabra, Eurico; Silva, Luís F.Artigo em ata de conferênciaAcesso aberto
2017Rocker outsole shoes and margin of stability during walking: a preliminary studyGhomian, B.; Naemi, R.; Mehdizadeh, S.; Jafari, H.; Aghili, R.; Machado, José; Silva, Luís F.; Lobarinhas, Pedro M.; Saeedi, H.Artigo em ata de conferênciaAcesso aberto
2011Design of an adapted standing frame for rehabilitation of children with mental deficiencyMachado, José Mendes; Seabra, EuricoArtigoAcesso aberto
2011Design of a mechatronic system for application of hardware-in-the-loop simulation techniqueChioran, Daniel; Machado, José MendesArtigoAcesso aberto
Jul-2011A mechatronic device for spasticity quantificationFerreira, João Amaro Oliveira; Moreira, Vitor; Machado, José Mendes; Soares, FilomenaArtigo em ata de conferênciaAcesso aberto
1-10 de um total de 37 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir