JCML - Java Card Modeling Language: Definição e Implementação

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior

Detalhes bibliográficos
Autor principal: Souza Neto, Plácido Antônio de (author)
Formato: masterThesis
Idioma:por
Publicado em: 2014
Assuntos:
Métodos Formais
Java Card
JML
JCML
Verificação Runtime
Compilador
Formal Methods
Runtime Verification
Compiler
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO
Texto completo:https://repositorio.ufrn.br/jspui/handle/123456789/17961
País:Brasil
Oai:oai:https://repositorio.ufrn.br:123456789/17961

Texto Completo

https://repositorio.ufrn.br/jspui/handle/123456789/17961

Registros relacionados