Model-Connected Safety Cases.
Athanasios RetouniotisYiannis PapadopoulosIoannis SorokosDavid ParkerNicholas MatragkasSeptavera SharviaPublished in: IMBSA (2017)
Keyphrases
- computational model
- probabilistic model
- formal model
- objective function
- closed form
- theoretical framework
- parameter estimation
- network model
- mathematical model
- bayesian networks
- similarity measure
- artificial intelligence
- d objects
- probability distribution
- experimental data
- artificial neural networks
- conceptual model