|
1 |
Model-Driven Engineering for Digital Twins: Opportunities and Challenges
Michael, Judith. - Aachen : Universitätsbibliothek der RWTH Aachen, 2025
|
|
|
2 |
Towards an Isabelle Theory for Distributed, Interactive, Real-Time Systems Volume 2
Kausch, Hendrik. - Düren : Shaker, 2025, 1. Auflage
|
Ankündigung
|
|
|
3 |
AutoArx
Jordan, Sven. - Braunschweig : Technische Universität Braunschweig, 2024
|
|
|
|
4 |
AutoKnigge—Modeling, Evaluation and Verification of Cooperative Interacting Automobiles
Kehl, Christian. - Aachen : Universitätsbibliothek der RWTH Aachen, 2024
|
|
|
|
5 |
Ernst Denert Award for Software Engineering 2022
Cham : Springer Nature Switzerland, Imprint: Springer, 2024, 1st ed. 2024
|
|
|
|
6 |
Integrating models of civil structures in digital twins
Michael, Judith. - Aachen : Universitätsbibliothek der RWTH Aachen, 2024
|
|
|
|
7 |
Model-driven development for functional correctness of avionics systems
Kausch, Hendrik. - Aachen : Universitätsbibliothek der RWTH Aachen, 2024
|
|
|
|
8 |
Modeling Financial, Project and Staff Management
Netz, Lukas Stephan Michael. - Aachen : Universitätsbibliothek der RWTH Aachen, 2024
|
|
|
|
9 |
Towards Reference Models with Conformance Relations for Structure
Konersmann, Marco. - Aachen : Universitätsbibliothek der RWTH Aachen, 2024
|
|
|
10 |
Model-driven development for functional correctness of avionics systems: a verification framework for SysML specifications
Enthalten in Confederation of European Aerospace Societies: CEAS Aeronautical Journal 21.10.2024: 1-16
|
|
Administration
