Early and Systematic Validation of Formal Models.

Sebastian Stock

Published in: ICFEM (2023)

Keyphrases

formal models
formal model
rule based systems
process model
real time
computer vision
knowledge acquisition
databases
machine learning
database systems
bayesian networks
rough sets
knowledge based systems
model validation