Conference
Constructive Model Analysis of SysMLv2 Models by Constraint Propagation
| Τίτλος: | Constructive Model Analysis of SysMLv2 Models by Constraint Propagation |
|---|---|
| Συγγραφείς: | Ratzke, Axel, Post, Sebastian, Koch, Johannes, Grimm, Christoph |
| Πηγή: | 2024 19th Annual System of Systems Engineering Conference (SoSE) Systems Engineering Conference (SoSE), 2024 19th Annual System of. :239-244 Jun, 2024 |
| Relation: | 2024 19th Annual System of Systems Engineering Conference (SoSE) |
| Βάση Δεδομένων: | IEEE Xplore Digital Library |
| ISBN: | 9798350365917 |
|---|---|
| ISSN: | 28353161 |
| DOI: | 10.1109/SOSE62659.2024.10620947 |