Login / Signup
Towards Consistency Checking Between a System Model and Its Implementation.
Robbert Jongeling
Johan Fredriksson
Federico Ciccozzi
Antonio Cicchetti
Jan Carlson
Published in:
ICSMM (2020)
Keyphrases
</>
consistency checking
computational model
high level
probabilistic model
mathematical model
objective function
upper bound
statistical model
conceptual model
data sets
databases
neural network
image classification
constraint satisfaction problems