Login / Signup
Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse System.
Weiqiang Kong
Kazuhiro Ogata
Kokichi Futatsugi
Published in:
IFM (2007)
Keyphrases
</>
formal analysis
neural network
machine learning algorithms
formal methods
software engineering
data mining techniques
fine grained