Login / Signup

Specification of an Integrated Circuit Card Protocol Application Using the B Method and Linear Temporal Logic.

Jacques JulliandBruno LegeardThierry MachicoaneBenoit ParreauxBruno Tatibouët
Published in: B (1998)
Keyphrases
  • web services
  • objective function
  • linear temporal logic
  • high level
  • dynamic programming
  • general purpose
  • smart card