Validation of Formal Models by Interactive Simulation.

Fabian Vu Michael Leuschel

Published in: ABZ (2023)

Keyphrases

formal models
formal model
rule based systems
process model
support vector
information technology
business processes
data mining
image segmentation
pattern recognition
natural language
data analysis
knowledge based systems