Enabling Analysis for Event-B.

Ivaylo Dobrikov Michael Leuschel

Published in: ABZ (2016)

Keyphrases

statistical analysis
image analysis
quantitative analysis
image segmentation
three dimensional
pattern recognition