Percorrer por assunto Interactive systems

Í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 6-15 de um total de 15 resultados. < anterior 
DataTítuloAutor(es)TipoAcesso
2020Evaluating the utility of human-machine user interfaces using balanced score cardsSilva, Saulo; Belo, OrlandoArtigo em ata de conferênciaAcesso restrito UMinho
2008Exploring an option space to engineer a ubiquitous computing systemHarrison, Michael D.; Kray, Christian; Campos, J. CreissacArtigoAcesso aberto
1997Formally verifying interactive systems : a reviewCampos, J. Creissac; Harrison, M. D.Artigo em ata de conferênciaAcesso aberto
2019High assurance on cyber-physical interactive systemsCouto, Rui; Campos, José C.Artigo em ata de conferênciaAcesso aberto
2015Layers, resources and property templates in the specification and analysis of two interactive systemsCampos, José C.; Curzon, Paul; Masci, Paolo, et al.Artigo em ata de conferênciaAcesso aberto
Ago-2001Model checking interactor specificationsCampos, J. Creissac; Harrison, M. D.ArtigoAcesso aberto
2011Modelling and analysing the interactive behaviour of an infusion pumpCampos, J. Creissac; Harrison, Michael D.ArtigoAcesso aberto
2015Reusing models and properties in the analysis of similar interactive devicesHarrison, Michael D.; Campos, J. Creissac; Masci, PaoloArtigoAcesso 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
2015Templates as heuristics for proving properties of medical devicesCampos, José C.; Curzon, Paul; Masci, Paolo, et al.Artigo em ata de conferênciaAcesso aberto
Mostrar 6-15 de um total de 15 resultados. < anterior