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.
| Autores: | , , , |
|---|---|
| Tipo de recurso: | artículo |
| Estado: | Versión publicada |
| Fecha de publicación: | 2010 |
| 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/6174 |
| Acceso en línea: | https://repositorio.ufrn.br/jspui/handle/1/6174 |
| Access Level: | acceso abierto |
| Palabra clave: | Java. Linguagem de Programação. Java Card. |
| Sumario: | 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. |
|---|