Dependability Analysis for AADL Models by PVS.

Geng Chen Lei Luo Rong Gong Shenglin Gui

Published in: DASC (2009)

Keyphrases

probabilistic model
ambient intelligence
complex systems
prior knowledge
neural network
machine learning
information systems
statistical model
statistical models
quantitative analysis
formal verification