Typechecking Safe Process Synchronization.

Eduardo Bonelli Adriana B. Compagnoni Elsa L. Gunter

Published in: Electron. Notes Theor. Comput. Sci. (2005)

Keyphrases

development process
computer vision
decision making
database
data sets
search engine
bayesian networks
expert systems
knowledge discovery