Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-9 de um total de 9 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
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
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
2012Formal analysis of ubiquitous computing environments through the APEX frameworkSilva, José Luís Cardoso; Campos, J. Creissac; Harrison, M. D.Artigo em ata de conferênciaAcesso aberto
2019Verification templates for the analysis of user interface software designHarrison, Michael douglas; Masci, Paolo; Campos, José C.ArtigoAcesso aberto
2019Formal techniques in the safety analysis of software components of a new dialysis machineHarrison, Michael douglas; Freitas, Leo; Drinnan, Michael; Campos, José C.; Masci, Paolo; di Maria, Costanzo; Whitaker, MichaelArtigoAcesso aberto
2008Systematic analysis of control panel interfaces using formal toolsCampos, José C.; Harrison, Michael douglasArtigo em ata de conferênciaAcesso aberto
2013Automated theorem proving for the systematic analysis of an infusion pumpHarrison, Michael douglas; Masci, P.; Campos, José C.; Curzon, P.ArtigoAcesso aberto
1-9 de um total de 9 resultados (tempo de pesquisa: 0.0 segundos).
  • Anterior
  • 1
  • Próxima

Descobrir