Specification-Level Integration of Simulation and Dependability Analysis.

Swapna S. Gokhale Joseph R. Horgan Kishor S. Trivedi

Published in: WADS (2002)

Keyphrases

knowledge base
image analysis
database
data sets
machine learning
artificial intelligence
computer vision
decision making
user interface
levels of abstraction
mathematical analysis