HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Lydia Kaiser

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.