Login / Signup

Modeling and Verification of Contactless Mobile Banking System in E-Banking Using SPIN.

Tej Narayan ThakurNoriaki Yoshiura
Published in: ICCSA (6) (2021)
Keyphrases
  • low cost
  • modeling method
  • data sets
  • model checking
  • mobile applications
  • database
  • neural network
  • multimedia
  • mobile devices
  • smart card
  • location aware
  • colored petri nets