An Automation-Friendly Set Theory for the B Method.

Guillaume Bury Simon Cruanes David Delahaye Pierre-Louis Euvrard

Published in: ABZ (2018)

Keyphrases

neural network
real time
data mining
image analysis
fuzzy logic
multi dimensional
binary images