Verification of the CD2RDBMS Transformation Case in Flora-2.

Muzaffar Igamberdiev Georg Grossmann Markus Stumptner

Published in: VOLT@STAF (2015)

Keyphrases

real world
machine learning
special case
genetic algorithm
information systems
decision trees
multiscale
data structure
evolutionary algorithm
model checking
face verification
formal methods