Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 18 resultados (tempo de pesquisa: 0.016 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
2013Automated theorem proving for the systematic analysis of interactive systemsHarrison, M. D.; Masci, P.; Campos, J. Creissac; Curzon, P.ArtigoAcesso 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.; Curzon, PaulArtigoAcesso aberto
Mai-2014Prototyping and analysing ubiquitous computing environments using multiple layersSilva, José Luís Cardoso; Campos, J. Creissac; Harrison, Michael DouglasArtigoAcesso aberto
Mar-2014Analysing interactive devices based on information resource constraintsCampos, J. Creissac; Doherty, Gavin; Harrison, Michael D.ArtigoAcesso aberto
2015Reusing models and properties in the analysis of similar interactive devicesHarrison, Michael D.; Campos, J. Creissac; Masci, PaoloArtigoAcesso 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
2017Don't go in there!: using the APEX framework in the design of ambient assisted living systemsCampos, José C.; Abade, Tiago; Silva, José Luís Cardoso; Harrison, Michael douglasArtigoAcesso aberto
Dez-2000Representational reasoning and verificationDoherty, Gavin J.; Campos, J. Creissac; Harrison, M. D.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
1-10 de um total de 18 resultados (tempo de pesquisa: 0.016 segundos).

Descobrir