Uncertainty analysis of phased mission systems with probabilistic timed automata.

Zhaoguang Peng Yu Lu Alice Miller

Published in: ICPHM (2016)

Keyphrases

uncertain data
software development
statistical analysis
quantitative analysis
databases
bayesian networks
stochastic simulation
timed automata