|
1 |
Digital Twins in Manufacturing and the Use of Models
Hellwig, Alexander. - Aachen : Universitätsbibliothek der RWTH Aachen, 2025
|
|
|
|
2 |
Formal methods in the scope of the Software and Systems Modeling journal
Chechik, Marsha. - Aachen : Universitätsbibliothek der RWTH Aachen, 2025
|
|
|
3 |
Model-based systems engineering with the SPES modeling language
Bremen : GfSE Verlag, [2025]
|
|
|
|
4 |
Model‐driven engineering for digital twins
Michael, Judith. - Stuttgart : Universitätsbibliothek der Universität Stuttgart, 2025
|
|
|
|
5 |
Model-Driven Engineering for Digital Twins: Opportunities and Challenges
Michael, Judith. - Aachen : Universitätsbibliothek der RWTH Aachen, 2025
|
|
|
|
6 |
On theory and management of dependencies between models
Chechik, Marsha. - Aachen : Universitätsbibliothek der RWTH Aachen, 2025
|
|
|
|
7 |
Standards in software development and modeling
Chechik, Marsha. - Aachen : Universitätsbibliothek der RWTH Aachen, 2025
|
|
|
|
8 |
Tool-Assisted Conformance Checking to Reference Process Models
Rumpe, Bernhard. - Aachen : Universitätsbibliothek der RWTH Aachen, 2025
|
|
|
|
9 |
Towards an Isabelle theory for distributed, interactive systems / Volume 2
2025
|
|
|
|
10 |
Towards an Isabelle Theory for Distributed, Interactive, Real-Time Systems Volume 2
Kausch, Hendrik. - Düren : Shaker, 2025, 1. Auflage
|
|
Administration
