Login / Signup

Analysis of the PKCS#11 API Using the Maude-NPA Tool.

Antonio González-BurgueñoSonia SantiagoSantiago EscobarCatherine A. MeadowsJosé Meseguer
Published in: SSR (2015)
Keyphrases
  • data sets
  • data analysis
  • database
  • databases
  • machine learning
  • relational databases
  • statistical analysis
  • analysis tool
  • information systems
  • high level
  • data structure
  • object oriented
  • source code