Login / Signup
The Use of the B Formal Method for the Design and the Validation of the Transaction Mechanism for Smart Card Applications.
Denis Sabatier
Pierre Lartigue
Published in:
Formal Methods Syst. Des. (2000)
Keyphrases
</>
smart card
similarity measure
objective function
database