|
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 |
Modular safety analysis with dependency-aware fault trees
Prohaska, Alexander. - Stuttgart : Fraunhofer Verlag, [2023]
|
|
|
|
5 |
Scenario-based derivation of digital ecosystem requirements
Koch, Matthias. - Stuttgart : Fraunhofer Verlag, [2023]
|
|
|
|
6 |
Dynamic behavior risk assessment for autonomous systems
Feth, Patrik. - Stuttgart : Fraunhofer Verlag, 2020
|
|
|
|
7 |
Quality assurance for mobile business applications
Holl, Konstantin. - Stuttgart : Fraunhofer Verlag, [2018]
|
|
|
|
8 |
Neues aus der Region: Kunst und Technik III
Kaiserslautern : Referat Kultur der Stadt Kaiserslautern, 2011
|
|
|
|
9 |
Neues aus der Region: Kunst und Technik II
Kaiserslautern : Referat Kultur der Stadt Kaiserslautern, 2010
|
|
|
|
10 |
Neues aus der Region: Kunst und Technik I
Kaiserslautern : Referat Kultur der Stadt Kaiserslautern, 2009
|
|
Administration
