Sign in
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