Transacted Memory for Smart Cards

  • Pieter H. Hartel (Speaker)
  • M.J. Butler (Speaker)
  • E.K. De jong (Speaker)
  • M. Longley (Speaker)

    Activity: Talk or presentation › Oral presentation

    Period15 Mar 2001
    Event title10th International Symposium of Formal Methods Europe, FME 2001: Formal Methods for Increasing Software Productivity
    Event typeConference
    Conference number10
    OrganiserFormal Methods Europe (FME)
    LocationBerlin, Germany, BerlinShow on map
    Degree of RecognitionInternational