Sign in

Pragmatic verification and validation of industrial executable SysML models.

Benedek HorváthVince MolnárBence GraicsÁkos HajduIstván RáthÁkos HorváthRobert KarbanGelys TranchoZoltá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