java card; programming environment; formal specification; simulation;
机译:基于UI JavaCard的智能卡上的智能健康应用程序实现
机译:使用Java卡的智能卡的数据安全性分析和安全性扩展
机译:Java卡和智能卡的新时代
机译:适用于JAVA卡的智能工具
机译:智能卡,努力不力?安大略省智能卡项目中的咨询。
机译:签名评估工具(SET):基于Java的工具用于评估和可视化基因表达签名的样本辨别能力
机译:智能卡和住宅网关:用Java卡改善OSGI服务