Verificação Distribuída de Modelos: Investigando o Uso de Grades Computacionais.
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
-
Grids
-
Verificação de Software
-
grades computacionais
-
redes de petri
-
sistemas distribuídos
-
verificação de modelos
Identidade
identificador BrCris
-
4554aa0f1c83ff02fda957ecd4c8cdbd
identificador Capes
-
20072224009016005P0-Publication
identificador Oasisbr
-
UFCG_9b8f0b139774c4ec6ca0640308b22b51