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 |
2011 | Modelling and analysing the interactive behaviour of an infusion pump | Campos, J. Creissac; Harrison, Michael D. | Artigo | Acesso aberto |
21-Dez-2022 | A new models editor for the IVY Workbench | Mendes, Rui Filipe Moreira | Dissertação de mestrado | Acesso aberto |