Verificação Formal de Aplicações para Reconhecimento de Ondas Eletrocardiográficas
Documento
-
- Visão geral
-
- Pesquisas
-
- Identidade
-
- Ver todos
-
Visão geral
membro de
orientado por
produzido em
tipo
data de publicação
Pesquisas
áreas de investigação
palavras-chave
-
autômato finito determinístico
-
eletrocardiograma
-
verificação formal
Identidade
identificador BrCris
-
769a958e4155833947fd87889b738c70
identificador Capes
-
200224532001010004P6-Publication
identificador Oasisbr
-
UFMG_195c33e67336ef7c15b27619da578b16