UML-B: A Plug-in for the Event-B Tool Set.

Colin F. Snook Michael J. Butler

Published in: ABZ (2008)

Keyphrases

small number
probability distribution
data sets
genetic algorithm
software engineering
software development
input data