Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 44 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
Mar-2014Analysing interactive devices based on information resource constraintsCampos, J. Creissac; Doherty, Gavin; Harrison, Michael D.ArtigoAcesso aberto
Mai-2014Prototyping and analysing ubiquitous computing environments using multiple layersSilva, José Luís Cardoso; Campos, J. Creissac; Harrison, Michael DouglasArtigoAcesso aberto
2009An infrastructure for experience centered agile prototyping of ambient intelligenceSilva, José Luís Cardoso; Campos, J. Creissac; Harrison, Michael D.Artigo em ata de conferênciaAcesso aberto
2019Formal verification of interactive computing systems: Opportunities and challengesCampos, José C.; Harrison, Michael douglasArtigo 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.; Martinie, Célia; Masci, Paolo; Palanque, PhilippeArtigoAcesso aberto
16-Nov-2010The APEX framework: prototyping of ubiquitous environments based on Petri NetsSilva, José Luís Cardoso; Ribeiro, Óscar R.; Campos, J. Creissac; Fernandes, João M.; Harrison, M. D.Artigo em ata de conferênciaAcesso aberto
2017Evaluation of formal IDEs for human-machine interface design and analysis: the case of CIRCUS and PVSio-webFayollas, Camille; Martinie, Celia; Palanque, Philippe; Masci, Paolo; Harrison, Michael douglas; Campos, José C.; Silva, Saulo Rodrigues eArtigo 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; Harrison, Michael douglasArtigo em ata de conferênciaAcesso aberto
2015Supporting the design of an ambient assisted living system using virtual reality prototypesCampos, José C.; Abade, Tiago Filipe Azevedo; Silva, J. L.; Harrison, Michael douglasArtigo em ata de conferênciaAcesso aberto
2013Desenvolvimento de jogos educativos na plataforma APEX: o jogo da asmaGomes, Tiago Emanuel Oliveira; Abade, Tiago; Silva, José Luís Cardoso; Campos, J. Creissac; Harrison, Michael DouglasArtigo em ata de conferênciaAcesso aberto
1-10 de um total de 44 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir