Model-based Approach for the Verification Enhancement Across the Lifecycle of a Space System.
Silvia MazziniLaura BaracchiStefano PuriMauro PasquinelliDiego GerbazJoachim FuchsValter BassoLorenzo PaceMarco LassalleJuhani ViitaniemiPublished in: CIISE (2014)
Keyphrases
- statistical model
- computational model
- probabilistic model
- mathematical model
- probability distribution
- formal model
- image processing
- theoretical analysis
- cost function
- petri net
- least squares
- management system
- neural network
- evolutionary algorithm
- artificial neural networks
- reinforcement learning
- similarity measure
- face recognition
- case study
- search engine
- machine learning