Data | Título | Autor(es) | Tipo | Acesso |
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 |
2015 | Layers, resources and property templates in the specification and analysis of two interactive systems | Campos, José C.; Curzon, Paul; Masci, Paolo, et al. | Artigo em ata de conferência | Acesso aberto |
2016 | Modelling information resources and their salience in medical device design | Harrison, Michael douglas; Campos, José C.; Rukšenas, Rimvydas, et al. | Artigo em ata de conferência | Acesso aberto |
2015 | Templates as heuristics for proving properties of medical devices | Campos, José C.; Curzon, Paul; Masci, Paolo, et al. | Artigo em ata de conferência | Acesso aberto |
2017 | The specification and analysis of use properties of a nuclear control system | Harrison, Michael douglas; Masci, Paolo M.; Campos, José C., et al. | Capítulo de livro | Acesso restrito UMinho |
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 |