Auflistung nach Autor "Heinkel, Ulrich"
Anzeige der Dokumente 1-3 von 3
-
Automatic test case generation with NuSMV
Bunin, Grygoriy; Schneider, Axel; Haubelt, Christian; Langer, Jan; Heinkel, Ulrich
262-263 -
Dynamic indoor navigation and orientation system for people with impairments
Richter, Julia; Lorenz, Jeanine; Costantino, Maria; Traubinger, Verena; Tauchmann, Nico; Graichen, Thomas; Heinkel, Ulrich
473–477 -
Hardwaregestütze Positionsschätzung mit Bayes’schen Filtern auf Basis 3-dimensionaler Umgebungsmodelle für den Innenbereich
Schott, Christian; Froß, Daniel; Rößler, Marko; Heinkel, Ulrich
503-514