Login / Signup

Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse System.

Weiqiang KongKazuhiro OgataKokichi Futatsugi
Published in: IFM (2007)
Keyphrases
  • formal analysis
  • neural network
  • machine learning algorithms
  • formal methods
  • software engineering
  • data mining techniques
  • fine grained