Auflistung nach Autor:in "Gerndt, Andreas"
1 - 3 von 3
Treffer pro Seite
Sortieroptionen
- KonferenzbeitragApplicability of Model Checking for Verifying Spacecraft Operational Designs(Modellierung 2024, 2024) Chrszon, Philipp; Maurer, Paulina; Saleip, George; Müller, Sascha; Fischer, Philipp M. ; Gerndt, Andreas; Felderer, MichaelThis is a summary of the paper Applicability of Model Checking for Verifying Spacecraft Operational Designs which has been published at the 26th International Conference on Model Driven Engineering Languages and Systems (MODELS 23).
- longAugmented Reality for Massive Particle Distribution(GI VR / AR Workshop, 2021) Bahnmüller, Anna; Wulkop, Jan; Gilg, Jonas; Schanz, Daniel; Schröder, Andreas; Albuquerque, Georgia; Gerndt, Andreas
- longComparison of Depth Buffer Techniques for Large and Detailed 3D Scenes(GI VR / AR Workshop, 2021) Gilg, Jonas; Zander, Sebastian; Schneegans, Simon; Ahlers, Volker; Gerndt, Andreas