Formal specification of the JavaCard API in JML: the APDU class

机译：JML中JavaCard API的正式规范：APDU类

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Poll E.; Berg J. van den; Jacobs B.P.F.;
展开▼
作者单位

展开▼
年度 2001
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Formal specification of the JavaCard API in JML: the APDU class [J] . Erik Poll, Joachim van den Berg, Bart Jacobs Computer networks . 2001,第4期

机译：JML中的JavaCard API的正式规范：APDU类
2. Formal specification of MPI 2.0: Case study in specifying a practical concurrent programming API [J] . Guodong Li, Robert Palmer, Michael DeLisi, Science of Computer Programming . 2011,第2期

机译：MPI 2.0的正式规范：指定实用的并发编程API的案例研究
3. A formal MIM specification and tools for the common exchange of MIM diagrams: an XML-Based format, an API, and a validation method [J] . Augustin Luna, Evrim I Karac, Margot Sunshine, BMC Bioinformatics . 2011,第1期

机译：正式交换MIM图的正式MIM规范和工具：基于XML的格式，API和验证方法
4. SPECIFICATION OF THE JAVACARD API IN JML Towards formal specification and verification of applets and API implementations [C] . Erik Poll, Joachim van den Berg, Bart Jacobs IFIP TC8/WG8.8 Fourth Working Conference on Smart Card Research and Advanced Applications, Sep 20-22, 2000, Bristol, United Kingdom . 2000

机译：JML中的JAVACARD API的规范朝着正式规范和applet和API实现的验证
5. Formal specification of industry foundation class concepts using engineering ontologies [D] . Venugopal, Manu 2011

机译：使用工程本体对行业基础类概念进行形式化规范
6. A formal MIM specification and tools for the common exchange of MIM diagrams: an XML-Based format an API and a validation method [O] . Augustin Luna, Evrim I Karac, Margot Sunshine, 2011

机译：正式交换MIM图的正式MIM规范和工具：基于XML的格式API和验证方法
7. Formal specification of the JavaCard API in JML: the APDU class [O] . Poll E., Berg J.A.G.M. van den, Jacobs B.P.F. 2000

机译：JML中JavaCard API的正式规范：APDU类

Formal specification of the JavaCard API in JML: the APDU class

著录项

引文网络

相似文献

相关主题

期刊订阅