Coupling simulation and model checking to examine selected mechanical constraints of automated production systems
type: Item
DOI: 10.1109/INDIN.2015.7281707
instance of: scholarly article
title: Coupling simulation and model checking to examine selected mechanical constraints of automated production systems
publication date: 2015-07-01T00:00:00Z
author name string: J. Folmer
author name string: T. Aicher
author name string: J. Mund
author name string: S. Rehberger
author: Birgit Vogel-Heuser
main subject: automation
DBLP publication ID: conf/indin/Vogel-HeuserFAM15
language of work or name: English
publisher: Institute of Electrical and Electronics Engineers
description: wetenschappelijk artikel @nl
description: наукова стаття, опублікована в липні 2015 @uk