Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Author
:
Roman Dumitrescu
Publications
Model Checking of Integratively Designed Product and Production Systems
Sergej Japs
,
Rik Rasor
,
Lydia Kaiser
and
Roman Dumitrescu
EasyChair Preprint 1529
Keyphrases
Concurrent Engineering
,
model checking
,
SysML
,
Systems Engineering
.
Copyright © 2012-2025 easychair.org. All rights reserved.
