Validation Coverage for a Component-based SDL model of a Railway Signaling System.
Michele BanciMarcello BecucciAlessandro FantechiEmilio SpinicciPublished in: Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
- prior knowledge
- statistical model
- cost function
- probabilistic model
- case study
- image segmentation
- objective function
- computational model
- closed form
- parameter estimation
- network model
- formal model
- simulation model
- sensitivity analysis
- conceptual model
- mathematical model
- database
- theoretical analysis
- feature selection
- computer vision