Verification of Scenario-based Behavioural Models using Capella and PyNuSMV.

Simon Busard Christophe Ponsard Charles Pecheur

Published in: MODELSWARD (2021)

Keyphrases

statistical models
computer vision
case study
face recognition
similarity measure
data structure
least squares
parameter estimation
software systems
statistical methods