Login / Signup
SysML Models Verification and Validation in an Industrial Context: Challenges and Experimentation.
Ronan Baduel
Mohammad Chami
Jean-Michel Bruel
Iulian Ober
Published in:
ECMFA (2018)
Keyphrases
</>
probabilistic model
model validation
neural network
real world
data mining
formal methods
contextual information
statistical model
data sets
machine learning
knowledge base
expert systems
database
model selection
parameter estimation
model checking
lessons learned