Specification and Runtime Verification of Java Card Programs

COSTA, Umberto Souza da; MOREIRA, Anamaria Martins; MUSICANTE, Martin A. Specification and Runtime Verification of Java Card Programs. Electronic Notes in Theoretical Computer Science. [S.l:s.n], 2009.

Detalles Bibliográficos
Autores: Costa, Umberto Souza da, Moreira, Anamaria Martins, Musicante, Martin A., Souza Neto, Plácido A.
Tipo de recurso: artículo
Estado:Versión publicada
Fecha de publicación:2009
País:Brasil
Institución:Universidade Federal do Rio Grande do Norte (UFRN)
Repositorio:Repositório Institucional da UFRN
Idioma:inglés
OAI Identifier:oai:repositorio.ufrn.br:1/6230
Acceso en línea:https://repositorio.ufrn.br/jspui/handle/1/6230
Access Level:acceso abierto
Palabra clave:Java Card.
Compile
Runtime Verification
Descripción
Sumario:COSTA, Umberto Souza da; MOREIRA, Anamaria Martins; MUSICANTE, Martin A. Specification and Runtime Verification of Java Card Programs. Electronic Notes in Theoretical Computer Science. [S.l:s.n], 2009.

Similares en LA Referencia