An Aspect-Oriented Model Transformation to Weave Security using CVL.

José Miguel Horcas Mónica Pinto Lidia Fuentes

Published in: MODELSWARD (2014)

Keyphrases

probabilistic model
mathematical model
formal model
high level
statistical model
databases
objective function
multi agent systems
management system
computational model