Sign in

Automatic Construction of Validated B Components from Structured Developments.

Pierre BontronMarie-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