Compositional verification of material handling systems.

Thomas Klotz Norman Seßler Bernd Straube Eva Fordran Karsten Turek Jens Schönherr

Published in: ETFA (2012)

Keyphrases

material handling
expert systems
manufacturing environment
computer vision
image analysis
domain knowledge
software systems
complex systems