Desenvolvimento formal de aplicações para smartcards
| Autores | Gomes, Bruno Emerson Gurgel | |
|---|---|---|
| Orientador | Déharbe, David Boris Paul | |
| Editor | Universidade Federal do Rio Grande do Norte | |
| Data | 2012-06-01 | |
| Palavras-chave | Smart cards Java card Método formal B Refinamento Desenvolvimento formal Geração de código. Smart cards Java card B formal method Refinement Formal development Code generation. | |
| Citação | ||
| Resumo | ||
| Abstract | ||
| URI | https://repositorio.ufrn.br/jspui/handle/123456789/17947 | |
| Coleções | PPGSC - Doutorado em Sistemas e Computação |
|---|
Arquivos
Pacote Original
1 - 1 de 1
Carregando...
- Nome:
- BrunoEGG_TESE.pdf
- Tamanho:
- 2.11 MB
- Formato:
- Adobe Portable Document Format
Carregando...