Showing 1 - 5 results of 5 for search 'Horst Schulte', query time: 0.02s
Refine Results
-
1
Notes on Recent Achievements in Proving Stability using KeYmaeraX by Thomas Baar, Horst Schulte
Published 2021-12-01Get full text
Article -
2
Safety Analysis of Longitudinal Motion Controllers during Climb Flight by Thomas Baar, Horst Schulte
Published 2019-12-01Get full text
Article -
3
-
4
-
5
P21.1 at PETRA III – a high-energy X-ray diffraction beamline for physics and chemistry by Martin v. Zimmermann, Oleh Ivashko, Fernando Igoa Saldaña, Jiatu Liu, Philipp Glaevecke, Olof Gutowski, Rüdiger Nowak, Katharina Köhler, Björn Winkler, Andreas Schöps, Horst Schulte-Schrepping, Ann-Christin Dippel
Published 2025-05-01Get full text
Article