Transacted Memory for Smart Cards

Hartel, P. H. (Speaker), M.J. Butler (Speaker), E.K. De jong (Speaker), M. Longley (Speaker)

    Activity: Talk or presentationOral presentation

    Period15 Mar 2001
    Event title10th International Symposium of Formal Methods Europe, FME 2001: Formal Methods for Increasing Software Productivity
    Event typeConference
    Conference number10
    LocationBerlin, Germany, Berlin
    Degree of RecognitionInternational