YAGA: Automated Analysis of Quantitative Safety Specifications in Probabilistic B.

Ukachukwu Ndukwu A. K. McIver

Published in: ATVA (2010)

Keyphrases

automated analysis
automated detection
visual analysis
biomedical imaging
video analysis
bayesian networks
probabilistic model
databases
machine learning
computational intelligence
formal specification
motion imagery
case study