Support for safety case generation via model transformation.
Chung-Ling LinWuwei ShenRichard HawkinsPublished in: SIGBED Rev. (2017)
Keyphrases
- probabilistic model
- computational model
- statistical model
- theoretical framework
- management system
- experimental data
- mathematical model
- case study
- cost function
- object model
- sensitivity analysis
- parameter estimation
- probability distribution
- social networks
- information retrieval
- data sets
- linear model
- database
- support systems
- prediction model
- neural network model
- markov chain
- real time