KitSmart: Uma biblioteca de componentes para o desenvolvimento rigoroso de aplicacoes Java Card com o metodo B.
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
-
Especificações formais
-
Java Card
-
Método B
Identidade
identificador BrCris
-
02ecfef28b4a58cb8c2a630bb4d7bea0
identificador Capes
-
20122923001011022P9-Publication
identificador Oasisbr
-
UFRN_1294d4a5ba708e4ff29fe3c687e8b104