Percorrer por assunto Theorem proving
Mostrar 3-3 de um total de 3 resultados.
< anterior
Data | Título | Autor(es) | Tipo | Acesso |
---|---|---|---|---|
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 |