Applications and extensions of Alloy: past, present and future.

Emina Torlak Mana Taghdiri Greg Dennis Joseph P. Near

Published in: Math. Struct. Comput. Sci. (2013)

Keyphrases

long term
real world
historical information
neural network
bayesian networks
objective function
wide range
preprocessing
efficient implementation
current status
mechanical properties
past observations