Skip to content Skip to footer

Research Portal of the TU Dresden

An Approach to the Verification of Material Handling Systems

Research output: Contribution to conferences › Paper › Contributed › peer-review

Contributors

Thomas Klotz - , Fraunhofer Institute for Integrated Circuits (Author)
Bernd Straube - , Fraunhofer Institute for Integrated Circuits (Author)
Eva Fordran - , Fraunhofer Institute for Integrated Circuits (Author)
Jürgen Haufe - , Fraunhofer Institute for Integrated Circuits (Author)
Frank Schulze - , Chair of Material Handling (Author)
Karsten Turek - , Chair of Material Handling (Author)
Thorsten Schmidt - , Chair of Material Handling (Author)

Details

Original language	English
Pages	1-8
Number of pages	8
Publication status	Published - 2011
Peer-reviewed	Yes

Conference

Title	2011 16th IEEE International Conference on Emerging Technologies and Factory Automation
Abbreviated title	ETFA 2011
Conference number	16
Duration	5 - 9 September 2011
Degree of recognition	International event
City	Toulouse
Country	France

External IDs

researchoutputwizard	legacy.publication#51427
Scopus	80655139070
ORCID	/0000-0002-1484-7187/work/142243009
ORCID	/0000-0002-6691-5030/work/142247109

Keywords

Keywords

Material Handling Systems, Materialflusssysteme, Verifikation