ST-Modeler: Um Ambiente de Desenvolvimento e Verificação de Guias de Conduta Clínica.
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
-
ST-Guide
-
ST-Modeler
-
formalização
-
guias clínicos
-
informatica medica
-
verificação lógica
Identidade
identificador BrCris
-
57f0b10f446f4228199afd2d40507be8
identificador Capes
-
20083163433003017005P8-Publication
identificador Oasisbr
-
UNICAMP-30_2e00b4ff0db65db42d4af84d9811f5e4