From Event-B specifications to programs for distributed algorithms.

Mohamed Tounsi Mohamed Mosbah Dominique Méry

Published in: Int. J. Auton. Adapt. Commun. Syst. (2016)

Keyphrases

data structure
benchmark datasets
computational cost
optimization problems
database systems
cooperative
times faster
computational complexity
learning algorithm
evolutionary algorithm
provably correct
recently developed
orders of magnitude
worst case
search algorithm
decision trees
web services