|
1 |
Exploring the Use of Static Data Flow Analysis for Automatic Vulnerability Audits of Rust Code
Budde, Ingo. - Kaiserslautern-Landau : Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau, 2024
|
|
|
2 |
Integrated process planning and scheduling for service-based production with digital twins and deep Q-learning
Müller-Zhang, Zai. - Stuttgart : Fraunhofer Verlag, [2024]
|
|
|
|
3 |
Architecting safe eventually consistent systems
Braun, Susanne. - Stuttgart : Fraunhofer Verlag, [2023]
|
|
|
|
4 |
Data-driven context modeling for the elicitation of context-aware functionalities
Falcão, Rodrigo. - Stuttgart : Fraunhofer Verlag, [2023]
|
|
|
|
5 |
Modular safety analysis with dependency-aware fault trees
Prohaska, Alexander. - Stuttgart : Fraunhofer Verlag, [2023]
|
|
|
|
6 |
Scenario-based derivation of digital ecosystem requirements
Koch, Matthias. - Stuttgart : Fraunhofer Verlag, [2023]
|
|
|
|
7 |
Dynamic behavior risk assessment for autonomous systems
Feth, Patrik. - Stuttgart : Fraunhofer Verlag, 2020
|
|
|
|
8 |
Proactive support for conceptual interoperability analysis of software units
Abukwaik, Hadil. - Stuttgart : Fraunhofer Verlag, [2018]
|
|
|
|
9 |
Quality assurance for mobile business applications
Holl, Konstantin. - Stuttgart : Fraunhofer Verlag, [2018]
|
|
|
|
10 |
Optimizing the completeness of textual requirements documents in practice
Menzel, Igor. - Stuttgart : Fraunhofer-Verl., 2013
|
|
Administration
