JCML - Java Card Modeling Language: Definição e Implementação
| Autores | Souza Neto, Plácido Antônio de | |
|---|---|---|
| Orientador | Moreira, Anamaria Martins | |
| Editor | Universidade Federal do Rio Grande do Norte | |
| Data | 2007-09-06 | |
| Palavras-chave | Métodos Formais Java Card JML JCML Verificação Runtime Compilador Formal Methods Java Card JML JCML Runtime Verification Compiler | |
| Citação | ||
| Resumo | ||
| Abstract | ||
| URI | https://repositorio.ufrn.br/jspui/handle/123456789/17961 | |
| Coleções | PPGSC - Mestrado em Sistemas e Computação |
|---|
Arquivos
Pacote Original
1 - 1 de 1
Carregando...
- Nome:
- PlacidoASN.pdf
- Tamanho:
- 636.93 KB
- Formato:
- Adobe Portable Document Format
Carregando...