Login / Signup

The certification of the Mondex electronic purse to ITSEC Level E6.

Jim WoodcockSusan StepneyDavid CooperJohn A. ClarkJeremy Jacob
Published in: Formal Aspects Comput. (2008)
Keyphrases
  • higher level
  • data sets
  • image segmentation
  • levels of abstraction
  • high level
  • third party