Specification and Runtime Verification of Java Card Programs

Umberto Souza da Costa; Anamaria Martins Moreira; Martín A. Musicante; Plácido A. Souza Neto

doi:10.1016/j.entcs.2009.05.045

ScienceGate Book Chapters

JOURNAL ARTICLE

Specification and Runtime Verification of Java Card Programs

Umberto Souza da Costa Anamaria Martins Moreira Martín A. Musicante Plácido A. Souza Neto

Year: 2009 Journal: Electronic Notes in Theoretical Computer Science Vol: 240 Pages: 61-78 Publisher: Elsevier BV

DOI: 10.1016/j.entcs.2009.05.045

Get Full-Text PDF Get Analytical Report

Abstract

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.

Keywords:

Computer science Java Card Java annotation Java Java Modeling Language Real time Java Java applet Smart card strictfp Compiler Programming language Operating system Java API for XML-based RPC OpenPGP card Embedded system Smart card application protocol data unit

Metrics

Cited By

2.29

FWCI (Field Weighted Citation Impact)

Refs

0.92

Citation Normalized Percentile

Is in top 1%

Is in top 10%

Citation History

Topics

Advanced Software Engineering Methodologies

Physical Sciences → Computer Science → Artificial Intelligence

Real-Time Systems Scheduling

Physical Sciences → Computer Science → Hardware and Architecture

Formal Methods in Verification

Physical Sciences → Computer Science → Computational Theory and Mathematics

Specification and Runtime Verification of Java Card Programs

Abstract

Metrics

Citation History

Topics

Related Documents

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

Predictive Runtime Verification of Java Programs

Event-based runtime verification of java programs

Event-based runtime verification of java programs

Runtime Verification of Java Programs for Scenario-Based Specifications