A Statistical Approach for Timed Reachability in AADL Models.

Harold Bruintjes Joost-Pieter Katoen David Lesens

Published in: DSN (2015)

Keyphrases

statistical models
statistical analysis
data driven
markov chain
computational models
statistical information
database
neural network
artificial intelligence
prior knowledge
classification models
statistical tests
statistical modeling
statistical approaches