Design and Implementation of AADL Model Safety Assessment Tool.
Hong-bing ZhaoDeming SongYunwei DongPublished in: QSIC (2012)
Keyphrases
- computational model
- assessment tool
- conceptual model
- probability distribution
- probabilistic model
- formal model
- conceptual framework
- high level
- management system
- em algorithm
- theoretical analysis
- efficient implementation
- mathematical model
- statistical model
- data sets
- architectural model
- layout design
- parameter estimation
- data model
- prior knowledge
- image segmentation
- case study
- web services