Dependability Analysis and Verification for Connected Systems.

Felicita Di Giandomenico Marta Z. Kwiatkowska Marco Martinucci Paolo Masci Hongyang Qu

Published in: ISoLA (2) (2010)

Keyphrases

complex systems
image analysis
statistical analysis
data sets
image segmentation
quantitative analysis
safety analysis
databases
data mining
case study
building blocks
learning systems