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
2014A virtual environment based serious game to support health educationGomes, Tiago Emanuel Oliveira; Abade, Tiago; Campos, J. Creissac; Harrison, Michael D.; Silva, José Luís CardosoArtigoAcesso aberto
2013Developing serious games with the APEX frameworkGomes, Tiago Emanuel Oliveira; Abade, Tiago; Harrison, Michael D.; Silva, José Luís Cardoso; Campos, J. CreissacArtigo em ata de conferênciaAcesso 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
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
2015Reusing models and properties in the analysis of similar interactive devicesHarrison, Michael D.; Campos, J. Creissac; Masci, PaoloArtigoAcesso aberto
2015Templates as heuristics for proving properties of medical devicesCampos, José C.; Curzon, Paul; Masci, Paolo; 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
2014Formal verification of safety-critical user interfaces: a space system case studySousa, Manuel; Campos, J. Creissac; Alves, Miriam; Harrison, M. D.Artigo em ata de conferênciaAcesso aberto
2014Rapid development of first person serious games using the APEX platform: the asthma gameGomes, Tiago; Abade, Tiago; Campos, J. Creissac; Harrison, Michael D.; Silva, José Luís CardosoArtigo 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
1-10 de um total de 44 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir