Facetten
Zugriff
Einrichtung
Medientyp
Karte
Erscheinungsjahr
Autor/in
- Schupp, Sibylle
- Schlaefer, Alexander 12
- Lehmann, Sascha 9
- Antoni, Sven-Thomas 7
- Bavendiek, Kai 7
- alle zeigen
Sprache
36 Einträge gefunden
-
Modeling ℝ³ needle steering in Uppaal
- Lehmann, Sascha
- Rogalla, Antje
- Neidhardt, Maximilian
- Reinecke, Anton
- Schlaefer, Alexander
- Schupp, Sibylle
-
-
Position Data of Offline Needle Steering
- Neidhardt, Maximilian
- Reinecke, Anton
- Rogalla, Antje
- Lehmann, Sascha
- Sprenger, Johanna
- Schlaefer, Alexander
- Schupp, Sibylle
-
-
-
-
Online strategy synthesis for safe and optimized control of steerable needles
2021 - TUHH Open Research - frei zugänglich -
-
-
-
-
Automatically Proving Purpose Limitation in Software Architectures
- Bavendiek, Kai
- Müller, Tobias
- Wittner, Florian
- Kreutzburg, Thea
- Behrendt, Christian-Alexander
- Schulz, Wolfgang
- Federrath, Hannes
-
-
-
-
-
-
-
-