Uma abordagem baseada em modelos para suporte à validação de sistemas médicos físico-cibernéticos.
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
-
Engenharia de Software
-
Medical Cyber-Physical Systems
-
Métodos Formais
-
Sistemas Físicos-Cibernéticos
-
Sistemas Médicos
Identidade
identificador BrCris
-
97982c2e58af323b5659a0ed0c96d390
identificador Capes
identificador Oasisbr
-
UFCG_2921ac01676f594df2e12804aa490f9f