Login / Signup
Toward Automated Verification of Model Transformations: A Case Study of Analysis of Refactoring Business Process Models.
Márk Asztalos
László Lengyel
Tihamer Levendovszky
Published in:
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2009)
Keyphrases
</>
probabilistic model
process model
conceptual model
artificial intelligence
probability distribution
data warehouse
source code