Desenvolvimento de Sistemas Críticos e Complexos
Grupo de Pesquisa
-
- Visão geral
-
- Pesquisas
-
- Ligações
-
- Identidade
-
- Ver todos
-
Visão geral
application sectors
-
Atividades de prestação de serviços de informação
-
Atividades dos serviços de tecnologia da informação
has leader
has partner
tem membro
Data arquivamento
Pesquisas
research lines
áreas de investigação
palavras-chave
-
CONSULTAS POR SIMILARIDADE
-
DESENVOLVIMENTO
-
E-CONTRATO
-
ESPECIFICAÇÃO FORMAL
-
GERAÇÃO DE CASOS DE TESTE
-
MODEL CHECKING
-
MODELAGEM
-
MODELAGEM E ESPECIFICAÇÃO
-
MODELOS FORMAIS
-
RECUPERAÇÃO DE IMAGENS BASEADA EM CONTEÚDO
-
SISETMAS DE TEMPO REAL
-
SISTEMAS DE TEMPO REAL
-
SISTEMAS REATIVOS
-
TESTE DE CONFORMIDADE
-
TÉCNICAS DE INDEXAÇÃO E RECUPERAÇÃO DE DADOS COMPL
-
WORKFLOW
Ligações
Identidade
DGP identifier
identificador BrCris
-
1efae140467e2c6c6ad9c0bc1af29102