Login / Signup

Formal Analysis of CWA 14890-1.

Ashar Javed
Published in: CARDIS (2011)
Keyphrases
  • formal analysis
  • formal methods
  • real time
  • agent model
  • ban logic
  • database
  • operating system
  • query processing
  • data model