An approach to the verification of material handling systems

Thomas Klotz, Bernd Straube, Eva Fordran, Jürgen Haufe, Frank Schulze, Karsten Turek, Thorsten Schmidt. An approach to the verification of material handling systems. In Zoubir Mammeri, editor, IEEE 16th Conference on Emerging Technologies & Factory Automation, ETFA 2011, Toulouse, France, September 5-9, 2011. pages 1-8, IEEE, 2011. [doi]

Authors

Thomas Klotz

This author has not been identified. Look up 'Thomas Klotz' in Google

Bernd Straube

This author has not been identified. Look up 'Bernd Straube' in Google

Eva Fordran

This author has not been identified. Look up 'Eva Fordran' in Google

Jürgen Haufe

This author has not been identified. Look up 'Jürgen Haufe' in Google

Frank Schulze

This author has not been identified. Look up 'Frank Schulze' in Google

Karsten Turek

This author has not been identified. Look up 'Karsten Turek' in Google

Thorsten Schmidt

This author has not been identified. Look up 'Thorsten Schmidt' in Google