Percorrer por assunto Theorem proving
Mostrar 1-3 de um total de 3 resultados.
Data | Título | Autor(es) | Tipo | Acesso |
2014 | An institution for Alloy and its translation to second-order logic | Neves, Renato; Madeira, Alexandre; Martins, Manuel A., et al. | Capítulo de livro | 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 |