Data | Título | Autor(es) | Tipo | Acesso |
2013 | Automated theorem proving for the systematic analysis of an infusion pump | Harrison, Michael douglas; Masci, P.; Campos, José C., et al. | Artigo | Acesso aberto |
2013 | Automated theorem proving for the systematic analysis of interactive systems | Harrison, M. D.; Masci, P.; Campos, J. Creissac, et al. | Artigo | Acesso aberto |
2017 | Demonstrating that medical devices satisfy user related safety requirements | Harrison, Michael douglas; Masci, Paolo; Campos, José C., et al. | Artigo em ata de conferência | Acesso aberto |
Dez-2017 | Verification of user interface software: the example of use-related safety requirements and programmable medical devices | Harrison, Michael douglas; Masci, Paolo; Campos, José C., et al. | Artigo | Acesso aberto |