Certifying Native Java Card API by Formal Refinement

Lecture Notes in Computer Science - Germany
doi 10.1007/11733447_23
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Java Advanced Imaging API: A Tutorial

Revista de Informatica Teorica e Aplicada
Computer Science
2004English

Transparent Resource Management With Java RM API

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Formal Development of Distributed Enumeration Algorithms by Refinement-Based Techniques

English

Classification and Searching in Java API Reference Documentation

International Journal of Computer Applications Technology and Research
2014English

Formal Techniques for Java-Like Programs

English

A Java API for Low-Level Socket Network Access

2005English

: Specification and Refinement of Safety-Critical Java Programs

Science of Computer Programming
Software
2019English

Safer Typing of Complex API Usage Through Java Generics

2009English

JCCap: Capability-Based Access Control for Java Card

2000English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy