Sign in
Pragmatic verification and validation of industrial executable SysML models.
Benedek Horváth
Vince Molnár
Bence Graics
Ákos Hajdu
István Ráth
Ákos Horváth
Robert Karban
Gelys Trancho
Zoltán Micskei
Published in:
Syst. Eng. (2023)
Keyphrases
</>
formal methods
probabilistic model
neural network
neural network model
feature selection
face recognition
prior knowledge
model selection
machine learning algorithms
experimental data
parametric models