Login / Signup

A Formal Specification and Performance Evaluation of the Purchase Phase in the SET Protocol.

M. Carmen RuizDiego CazorlaFernando CuarteroJuan José Pardo
Published in: SYNASC (2005)
Keyphrases
  • formal specification
  • reverse engineering
  • data abstraction
  • object oriented design
  • databases
  • expert systems
  • distributed systems
  • knowledge based systems
  • fine grained
  • classification rules
  • specification language