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
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
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
2011Using advanced simulation techniques to improve industrial controller’s dependabilitySeabra, Eurico; Machado, José MendesArtigo em ata de conferênciaAcesso aberto
2010A systematized approach to obtain dependable controllers specificationsMachado, José Mendes; Seabra, EuricoArtigo em ata de conferênciaAcesso aberto
2010A holonic approach to the integration of automated systemsSilva, José Reinaldo; Poli Junior, Marco António; Pereira, Celina Soares; Machado, José MendesArtigo em ata de conferênciaAcesso aberto
2012Design of a mechatronic system for human blood typing in emergency situationsMoreira, Vânia; Ferraz, Ana; Carvalho, Vítor; Soares, Filomena; Machado, José MendesArtigo em ata de conferênciaAcesso restrito UMinho
2012Design and modelling of a 3D compliant leg for bioloidCouto, Mafalda Araújo Seara; Santos, Cristina; Machado, José MendesArtigo em ata de conferênciaAcesso restrito UMinho
2012Evaluation of the mechanical system to produce file cutting edges in a industrial machine : theoretical and experimental approachesSeabra, Eurico; Machado, José Mendes; Silva, Luís F.Artigo em ata de conferênciaAcesso restrito UMinho
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