autores José Francisco Creissac Freitas de Campos Harrison, MD Masci, P Campos, JC Curzon, P Aksoy-Aksel, A.
palavras-chave Formal verification Human error MAL Medical devices Model checking PVS Performance Theorem proving
Digital Object Identifier (DOI) https://doi.org/10.1007/978-3-319-63194-3_8 https://doi.org/10.1007/978-3-319-63194-3_8