Integration von Formaler Verifikation und Test.

Cyrille Comar Johannes Kanig Yannick Moy

Published in: Automotive - Safety & Security (2012)

Keyphrases

data integration
metadata
cooperative
data sets
real world
learning algorithm
information systems
decision making
multimedia
image segmentation
scheduling problem
test suite