Recoverable Persistent Memory for SmartCard

  • Authors:

  • Didier Donsez;Gilles Grimaud;Sylvain Lecomte

  • Affiliations:

  • -;-;-

  • Venue:
  • CARDIS '98 Proceedings of the The International Conference on Smart Card Research and Applications
  • Year:
  • 1998

  • Transacted Memory for Smart Cards

    FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity

Quantified Score

Hi-index 0.00

Visualization

Abstract