autores José Francisco Creissac Freitas de Campos Harrison, M.D. Campos, J.C. Rukšenas, R. Curzon, P. Aksoy-Aksel, A.
palavras-chave Formal verification Human error Medical devices Model checking Performance User interaction error
Digital Object Identifier (DOI) https://doi.org/10.1145/2933242.2933250 https://doi.org/10.1145/2933242.2933250