KitSmart: Uma biblioteca de componentes para o desenvolvimento rigoroso de aplicações Java Card com o método B
The development of smart card applications requires a high level of reliability. Formal methods provide means for this reliability to be achieved. The BSmart method and tool contribute to the development of smart card applications with the support of the B method, generating Java Card code from B s...
Na minha lista:
Autor principal: | Santos, Simone de Oliveira |
---|---|
Outros Autores: | Moreira, Anamaria Martins |
Formato: | Dissertação |
Idioma: | por |
Publicado em: |
Universidade Federal do Rio Grande do Norte
|
Assuntos: | |
Endereço do item: | https://repositorio.ufrn.br/jspui/handle/123456789/18043 |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
Registros relacionados
-
BSmart: desenvolvimento rigoroso de aplicações Java Card com base no método formal B
por: Gomes, Bruno Emerson Gurgel
Publicado em: (2014) -
BSmart : desenvolvimento rigoroso de aplicações Java Card com base no método formal B/
por: Gomes, Bruno Emerson Gurgel., et al.
Publicado em: (2022) -
Desenvolvimento formal de aplicações para smartcards
por: Gomes, Bruno Emerson Gurgel
Publicado em: (2014) -
KitSmart : uma biblioteca de componentes para o desenvolvimento rigoroso de aplicações Java Card com o método B/
por: Santos, Simone de Oliveira., et al.
Publicado em: (2022) -
JCML - Java Card Modleing Language : definição e implementação/
por: Souza Neto, Plácido Antônio., et al.
Publicado em: (2022)