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

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

Bibliographic Details
Main Author: Souza Neto, Plácido Antônio de (author)
Format: masterThesis
Language:por
Published: 2014
Subjects:
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
Online Access:https://repositorio.ufrn.br/jspui/handle/123456789/17961
Country:Brazil
Oai:oai:https://repositorio.ufrn.br:123456789/17961

Internet

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

Similar Items