Formalização e validação de aplicações de captura e acesso em ambientes educacionais ubíquos
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
-
Ambientes Educacionais Ubíquos
-
Captura de reuniões
-
Captura e Acesso
-
Computação Ubíqua
-
Computação ubíqua
-
Modelagem de Software
-
Métodos Formais
Identidade
identificador BrCris
-
7c1e0f7fd6d16fc00eca900e030bf87c
identificador Capes
identificador Oasisbr
-
UFU_1bff81420767124ef7c15c5b30580862