An Approach to Automated Model Composition Illustrated in the Context of Design Verification
Building complex systems form models that were developed separately without modifying existing code is a challenging task faced on a regular basis in multiple contexts, for instance, in design verification. To address this issue, this paper presents a new approach for automating the dynamic system m...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Norwegian Society of Automatic Control
2014-04-01
|
| Series: | Modeling, Identification and Control |
| Subjects: | |
| Online Access: | http://www.mic-journal.no/PDF/2014/MIC-2014-2-2.pdf |