Compositional verification of material handling systems

Thomas Klotz, Norman Seßler, Bernd Straube, Eva Fordran, Karsten Turek, Jens Schönherr. Compositional verification of material handling systems. In Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, ETFA 2012, Krakow, Poland, September 17-21, 2012. pages 1-8, IEEE, 2012. [doi]

Authors

Thomas Klotz

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

Norman Seßler

This author has not been identified. Look up 'Norman Seßler' 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

Karsten Turek

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

Jens Schönherr

This author has not been identified. Look up 'Jens Schönherr' in Google