Login / Signup

Mechanical Verification of Transaction Processing Systems.

Dmitri ChkliaevJozef HoomanPeter van der Stok
Published in: ICFEM (2000)
Keyphrases
  • transaction processing systems
  • data warehouse
  • transaction processing
  • real time
  • database systems
  • data structure
  • workflow management systems