Compositional Verification of Asynchronously Communicating Systems.

Jan Martijn E. M. van der Werf

Published in: FACS (2014)

Keyphrases

databases
website
search algorithm
expert systems
management system
complex systems
neural network
data mining
bayesian networks
data structure
building blocks
learning systems
communication channels