Percorrer por autor 1076 Subscrever estatísticas do autor Autor

Índice: 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

ou inserir as letras iniciais:  

Mostrar 125-144 de um total de 174 resultados. < anterior   próximo >
DataTítuloAutor(es)TipoAcesso
Mai-2011Safe controllers design for industrial automation systemsMachado, José Manuel; Seabra, Eurico; Campos, J. Creissac, et al.ArtigoAcesso restrito UMinho
2017Safety analysis of software components of a dialysis machine using model checkingHarrison, Michael douglas; Drinnan, M.; Campos, José C., et al.Artigo em ata de conferênciaAcesso aberto
14-Jun-2012Silver nanoparticles as an antimicrobial agent of Tricophyton rubrumPereira, Leonel; Santos, C.; Dias, Nicolina, et al.Resumo em ata de conferência Acesso aberto
2008Simulation and formal verification of industrial systems controllersMachado, José Mendes; Seabra, Eurico; Campos, J. Creissac, et al.Artigo em ata de conferênciaAcesso aberto
2013A specification patterns system for discrete event systems analysisCampos, J. Creissac; Machado, José MendesArtigoAcesso aberto
2004A study about usability criteria on computer interfaces for childrenMano, Alexandre; Campos, J. CreissacArtigo em ata de conferênciaAcesso aberto
2014A study on the viability of formalizing use casesCouto, Rui; Ribeiro, António Nestor; Campos, J. CreissacArtigo em ata de conferênciaAcesso aberto
2005A study on usability criteria regarding interfaces for childrenMano, Alexandre; Campos, J. CreissacArtigo em ata de conferênciaAcesso aberto
2011Supporting requirements formulation in software formal verificationCampos, J. Creissac; Machado, José MendesArtigo em ata de conferênciaAcesso aberto
2006Supporting resource-based analysis of task information needsCampos, J. Creissac; Doherty, Gavin J.Artigo em ata de conferênciaAcesso aberto
Ago-2020Supporting the analysis of safety critical user interfaces: an exploration of three formal toolsCampos, José C.; Fayollas, Camille; Harrison, Michael D., et al.ArtigoAcesso aberto
2015Supporting the design of an ambient assisted living system using virtual reality prototypesCampos, José C.; Abade, Tiago Filipe Azevedo; Silva, J. L., et al.Artigo em ata de conferênciaAcesso aberto
2008Systematic analysis of control panel interfaces using formal toolsCampos, José C.; Harrison, Michael douglasArtigo em ata de conferênciaAcesso aberto
21-Jun-2016Systematic automation of scenario-based testing of user interfacesCampos, José C.; Fayollas, Camille; Martinie, Célia, et al.Artigo em ata de conferênciaAcesso aberto
2022Teaching HCI engineering: four case studiesCaffieau, Sybille; Campos, José C.; Martinie, Célia, et al.Artigo em ata de conferênciaAcesso aberto
2015Templates as heuristics for proving properties of medical devicesCampos, José C.; Curzon, Paul; Masci, Paolo, et al.Artigo em ata de conferênciaAcesso aberto
2011Test case generation from mutated task modelsBarbosa, Ana; Paiva, Ana; Campos, J. CreissacArtigo em ata de conferênciaAcesso restrito UMinho
2005Testing AudioBrowserFernandes, António Ramires; Campos, J. CreissacArtigo em ata de conferênciaAcesso aberto
2010Textile dyes fungal mechanisms of biodegradationOttoni, C. A.; Santos, C.; Lima, NelsonResumo em ata de conferência Acesso aberto
16-Nov-2010The APEX framework: prototyping of ubiquitous environments based on Petri NetsSilva, José Luís Cardoso; Ribeiro, Óscar R.; Campos, J. Creissac, et al.Artigo em ata de conferênciaAcesso aberto
Mostrar 125-144 de um total de 174 resultados. < anterior   próximo >