Sign in

Automatic verification of interactions in asynchronous systems with unbounded buffers.

Samik BasuTevfik Bultan
Published in: ASE (2014)
Keyphrases
  • management system
  • intelligent systems
  • neural network
  • expert systems
  • distributed systems
  • data sets
  • databases
  • e learning
  • similarity measure
  • relational databases
  • production system
  • systems require