Automatic Construction of Validated B Components from Structured Developments.

Pierre Bontron Marie-Laure Potet

Published in: ZB (2000)

Keyphrases

automatic construction
data mining
artificial intelligence
image sequences
data sets
multi agent
wide range
multi agent systems
special case
building blocks
sentiment lexicon