Percorrer por autor 4645 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 36-47 de um total de 47 resultados. < anterior 
DataTítuloAutor(es)TipoAcesso
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
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
2015Templates as heuristics for proving properties of medical devicesCampos, José C.; Curzon, Paul; Masci, Paolo, et al.Artigo em ata de conferênciaAcesso 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
2017The specification and analysis of use properties of a nuclear control systemHarrison, Michael douglas; Masci, Paolo M.; Campos, José C., et al.Capítulo de livroAcesso restrito UMinho
1999Using automated reasoning in the design of an audio-visual communication systemCampos, J. Creissac; Harrison, M. D.Artigo em ata de conferênciaAcesso aberto
Dez-2017Verification of user interface software: the example of use-related safety requirements and programmable medical devicesHarrison, Michael douglas; Masci, Paolo; Campos, José C., et al.ArtigoAcesso aberto
2019Verification templates for the analysis of user interface software designHarrison, Michael douglas; Masci, Paolo; Campos, José C.ArtigoAcesso aberto
2004Verifying user interface behaviour with model checkingCampos, J. Creissac; Harrison, M. D.; Loer, KarstenArtigo em ata de conferênciaAcesso aberto
2014A virtual environment based serious game to support health educationGomes, Tiago Emanuel Oliveira; Abade, Tiago; Campos, J. Creissac, et al.ArtigoAcesso aberto
Mostrar 36-47 de um total de 47 resultados. < anterior