Specification and Runtime Verification of Java Card Programs
| Autores | Costa, Umberto Souza da; Moreira, Anamaria Martins; Musicante, Martin A.; Souza Neto, Plácido A. | |
|---|---|---|
| Editor | Elsevier | |
| Data | 2009 | |
| Palavras-chave | Java Card. Compile Runtime Verification | |
| Abstract | ||
| URI | https://repositorio.ufrn.br/jspui/handle/1/6230 | |
| Coleções | CCET - DIMAP - Artigos publicados em periódicos |
|---|
Arquivos
Pacote Original
1 - 1 de 1
Carregando...
- Nome:
- ARTIGO 2.pdf
- Tamanho:
- 386.08 KB
- Formato:
- Adobe Portable Document Format
Carregando...
Licença do Pacote
1 - 1 de 1
Nenhuma Miniatura disponível
- Nome:
- license.txt
- Tamanho:
- 1.71 KB
- Formato:
- Item-specific license agreed upon to submission
Nenhuma Miniatura disponível