Uma técnica para modelagem e verificação de programas JAVA concorrentes auxiliada por anotações de código.
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
-
Anotação de Código
-
Linguagem Java
-
Verificação de Modelos
-
anotação de código
-
métodos formais
-
programas concorrentes em java
-
verificação de modelos
Identidade
identificador BrCris
-
f5f74f9fd646e00809b2cb8c55099651
identificador Oasisbr
-
UFCG_c506e04d723a1895fec94a79a2ac6b5f