JCML: A specification language for the runtime verification of Java Card programs

COSTA, Umberto Souza; MOREIRA, Anamaria Martins; MUSICANTE, Matin A.; SOUZA NETO, Plácido A. JCML: A specification language for the runtime verification of Java Card programs. Science of Computer Programming. [S.l]: [s.n], 2010.

Detalhes bibliográficos
Autores: Moreira, Anamaria Martins, Costa, Umberto Souza da, Musicante, Martin A., Souza Neto, Plácido A.
Tipo de documento: artigo
Estado:Versão publicada
Data de publicação:2010
País:Brasil
Recursos:Universidade Federal do Rio Grande do Norte (UFRN)
Repositório:Repositório Institucional da UFRN
Idioma:inglês
OAI Identifier:oai:repositorio.ufrn.br:1/6174
Acesso em linha:https://repositorio.ufrn.br/jspui/handle/1/6174
Access Level:Acceso aberto
Palavra-chave:Java.
Linguagem de Programação.
Java Card.
Descrição
Resumo:COSTA, Umberto Souza; MOREIRA, Anamaria Martins; MUSICANTE, Matin A.; SOUZA NETO, Plácido A. JCML: A specification language for the runtime verification of Java Card programs. Science of Computer Programming. [S.l]: [s.n], 2010.

Registros relacionados