JCML: A specification language for the runtime verification of Java Card programs
| Autores | Moreira, Anamaria Martins; Costa, Umberto Souza da; Musicante, Martin A.; Souza Neto, Plácido A. | |
|---|---|---|
| Editor | Elsevier | |
| Data | 2010-03-19 | |
| Palavras-chave | Java. Linguagem de Programação. Java Card. | |
| Abstract | ||
| URI | https://repositorio.ufrn.br/jspui/handle/1/6174 | |
| Coleções | CCET - DIMAP - Artigos publicados em periódicos |
|---|
Arquivos
Pacote Original
1 - 1 de 1
Carregando...
- Nome:
- ARTIGO 1.pdf
- Tamanho:
- 954.22 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