A CSP model of Eiffel's SCOOP.

Phillip J. Brooke Richard F. Paige Jeremy L. Jacob

Published in: Formal Aspects Comput. (2007)

Keyphrases

management system
computational model
statistical model
experimental data
neural network model
similarity measure
mathematical model
search engine
decision making
special case
probability distribution
formal model