Automatic verification of interactions in asynchronous systems with unbounded buffers.

Samik Basu Tevfik 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