Skip to content Skip to footer

Research Portal of the TU Dresden

Toward Verification of Material Handling Systems

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › 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
Title of host publication	2011 9th IEEE International Conference on Industrial Informatics, Lisbon, Portugal
Pages	218-223
Number of pages	6
Publication status	Published - 2011
Peer-reviewed	Yes

External IDs

Scopus	80054972519
researchoutputwizard	legacy.publication#51426
ORCID	/0000-0002-1484-7187/work/142243117
ORCID	/0000-0002-6691-5030/work/142247132

Keywords

Keywords

Material Handling Systems, Materialflusssysteme, Verifikation