A new method for FMS modeling and formal verification.

Gang Xu Zhiming Wu

Published in: ETFA (1) (2003)

Keyphrases

formal verification
high accuracy
high precision
data sets
similarity measure
computational cost
segmentation algorithm
detection method
objective function
computational complexity
pairwise
significant improvement
cost function
synthetic data
classification method
modeling method